なぜ、対偶と元の命題の真偽は一致するのですか？

[0095 １３２人目の素数さん 2023/11/09(木) 06:53:13.33 ID:+KxEy61/]

>>94
構造を忘れてSetで考えるでしょ
実数に関しては
どちらで定義しても
我々のよく知る実数
ノイマンの自然数も
ツェルメロの自然数も
我々のよく知る自然数