数学基礎論・数理論理学 その19

[0082 １３２人目の素数さん 2024/03/26(火) 12:45:38.96 ID:6Gb4+y1g]

>>81
その場合互いに同等であるとは言えないことになってその否定の
「真」も互いに同等にならないような理論になるの？
まあ矛盾の否定が真だというのも疑問視する人いると思うが