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

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

Inter-universal geometryとABC予想(シン応援スレ) 92 - 暇つぶし2ch541:１３２人目の素数さん
26/07/26 19:19:00.94 3b2MGiGr.net
>>535
＞それ（ゲーデルの不完全性定理）は数学そのものの限界であって形式化の限界ではない。

そう　理論内で自身の命題の証明可能性を記述できるとすると、そういうことが起きる、という話

やっぱ論理が分からん高卒Set Aには、そこがどうしても理解できんか

次ページ

続きを表示

1を表示