22/06/04 13:01:50.58 RI91PHM7.net
>>284
NがP(1)∧∀n∈N(P(n)→P(n+1))→∀n∈N(P(n))を満たすことを示すには
必然的に
P(1)∧∀n∈N(P(n)→P(n+1))∧∃n∈N(￢P(n))→人
を示すことになるんじゃないの？
でそこではDNE使うと思うので直観主義論理じゃだめじゃないかってことだ
22/06/04 13:01:50.58 RI91PHM7.net
>>284
NがP(1)∧∀n∈N(P(n)→P(n+1))→∀n∈N(P(n))を満たすことを示すには
必然的に
P(1)∧∀n∈N(P(n)→P(n+1))∧∃n∈N(￢P(n))→人
を示すことになるんじゃないの？
でそこではDNE使うと思うので直観主義論理じゃだめじゃないかってことだ