BHK解釈
BHK解釈(Brouwer-Heyting-Kolmogorov Interpretation)
ブラウラー-ハイティング-コルゴロフ解釈
以下の命題は許容されない
LPO(the Limited Principle of Omniscience)
任意の0-1列$ \{a_n\} に対して、$ ∃n(a_n = 1) または$ ∀n(a_n = 0)
WLPO(the Weak Limited Principle of Omniscience)
任意の0-1列$ \{a_n\} に対して、$ ∀n(a_{n} = 0) または$ \lnot∀n(a_{n} = 0)
LLPO(he Lesser Limited Principle of Omniscience)
高々一つの項について1を取り、他の項は0を取る$ \{a_n\} に対して、$ ∀n(a_{2n} = 0) または$ ∀n(a_{2n + 1} = 0)
参考
メモ