0811132人目の素数さん垢版 | 大砲2019/10/01(火) 21:20:16.49ID:b+5rKebm 可能無限と似た話に直観主義論理とかいうのもあるんですが、この人たちは排中律を認めないんですよね AまたはAでない、が常に成り立たないとする人たちです その理由もやはり具体的な証拠がない限り正しいと認めないとしてしまうからで、こういう人たちの論じる議論はとても面倒で厄介なんですね、一般的に まあ安達さんはそのなりそこないで、矛盾だらけなわけですけど