直観主義論理

en: intuitionistic logic

ざっくり、構成的な証明のみを認める形式論理のこと

これが現代的な理解のはず

派生

定理証明器

ipc_bot

証明・反例を自動で探索する。

ref.