Inter-universal geometryとABC予想(シン応援スレ) 92

Inter-universal geometryとABC予想(シン応援スレ) 92at MATH

Inter-universal geometryとABC予想(シン応援スレ) 92 - 暇つぶし2ch510:１３２人目の素数さん
26/07/25 20:13:39.51 gUOaiiW+.net
>>509
のようなものじゃ駄目だろ
そもそもRIMSの人たちは圏論から述語論理に翻訳出来るのかね