対角線論法っておかしくね？

対角線論法っておかしくね？ (153ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

1(1): 2024/12/19(木)00:38 ID:iR+lqifX(1) AAS
有限個の論理式で記述できない命題があることになるじゃん

146: 11/19(水)13:46 ID:6oENCTuV(1) AAS
>>1
対角線論法は証明方法。命題は「全単射 f:N→R は存在しない」。
￢(∃(f:N→R)(f(N)=R∧∀x∈N.∀y∈N(f(x)=f(y)→x=y)))
論理式一個で記述できますけど？