Inter-universal geometry と ABC予想 52at MATH
Inter-universal geometry と ABC予想 52
- 暇つぶし2ch527:132人目の素数さん
20/05/09 09:47:20.54 j9hCxaDC.net
>>504
>and で全部つなげば一個になってしまう
無限個の式をandでつなぐことはできないけどね
公理図式の件でいえば、述語に関する限量子を使えば一つの式で書けるけど
それは二階論理を使うということだから、一階論理で成り立つ性質を
捨てることになり、ありがたくない
次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch