22/04/26 20:30:41.36 L20ICerH.net
>>935続き
ただし、>>932の先生の過去の発言に
「直観主義の立場では、排中律は無限集合を参照した途端に意味をなさなくなる」って間違いだよね
というのがありました
気になったのでさらに調べてみると、
この先生は過去に、構成的な素朴集合論における自然数全体の集合は確定的な境界を持たないことを証明したらしく、
また、非古典論理上の素朴集合論では、無限集合(典型的には自然数全体の集合ω)の境界線が確定的でなく、無限と有限の間の中間的な対象が存在することが示せる、
という発言をされていました
厳密には一概に、直観主義論理では無限集合に関する命題で排中律が成立しないとは言えないようです