Inter-universal geometry と ABC予想 52

Inter-universal geometry と ABC予想 52at MATH

Inter-universal geometry と ABC予想 52 - 暇つぶし2ch527:１３２人目の素数さん
20/05/09 09:47:20.54 j9hCxaDC.net
>>504
＞and で全部つなげば一個になってしまう
無限個の式をandでつなぐことはできないけどね
公理図式の件でいえば、述語に関する限量子を使えば一つの式で書けるけど
それは二階論理を使うということだから、一階論理で成り立つ性質を
捨てることになり、ありがたくない

次ページ

続きを表示

1を表示