可能無限と似た話に直観主義論理とかいうのもあるんですが、この人たちは排中律を認めないんですよね

AまたはAでない、が常に成り立たないとする人たちです

その理由もやはり具体的な証拠がない限り正しいと認めないとしてしまうからで、こういう人たちの論じる議論はとても面倒で厄介なんですね、一般的に

まあ安達さんはそのなりそこないで、矛盾だらけなわけですけど