Inter-universal geometry と ABC予想 (応援スレ) 81

[201 １３２人目の素数さん 2026/01/02(金) 20:07:39.17 ID:/eOPjJeC]

>>194
詳しそうなのでお伺いします
F(x)をx∈xとしたときのCは恒偽命題なんでもよくて
¬x∈xとしたときのCは恒真命題なんでもよい？
それともこの定理ではどちらも何か1つ導出されるの？