Inter-universal geometry と ABC予想 52

Inter-universal geometry と ABC予想 52at MATH

Inter-universal geometry と ABC予想 52 - 暇つぶし2ch537:１３２人目の素数さん
20/05/09 11:08:41 AC9cDLYk.net
上でも言及してる人がいるように、一階述語論理では無限個の論理式を∧(=「かつ」)で結ぶことはできない出来ない(=「無限論理」が必要！)
そして公理の数が9個というのは数学的言明に翻訳できるので、論文であればフランクに書くべきではない

次ページ

続きを表示

1を表示