However, there are proofs in classical logic that depend upon the law of excluded middle; since that law is not usable under this scheme, there are propositions that cannot be proven that way.
Меѓутоа овие се докази во класичната логика кои зависат од законот за исклучена средина; бидејќи во овој систем тој закон не важи, постојат искази кои не можат да се докажат по тој пат.