高等学校や大学の初学年で数理論理学を学習するが，多くの場合，命題論理・述語論理の初等的な学習までに留められてしまい，この分野にどういった応用例があるかを学べる機会は限られている。 ただ，命題論理・･･･