Inter-universal geometry と ABC予想 52

Inter-universal geometry と ABC予想 52at MATH

Inter-universal geometry と ABC予想 52 - 暇つぶし2ch606:１３２人目の素数さん
20/05/09 17:03:01 xDJzJeu4.net
じゃあはっきり言うが、公理が9個って話とひとつの公理をひとつの閉論理式で書けるかって話を勝手に混ぜこぜにしてるのがおかしいんだよ
「公理=一階述語論理の閉論理式」という思い込みをしてるんだろうね

次ページ

続きを表示

1を表示