0451非標準超球面論理 ◆KhxAJHUIl6 垢版 | 大砲2023/01/07(土) 18:59:24.000 うーん。偽の定義はどうするんですかねぇ。 ま、体系内で通常の主観的世界である限り、タルスキの定義不能定理からは逃れられませんけどね。