Inter-universal geometry と ABC予想 (応援スレ) 65

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

Inter-universal geometry と ABC予想 (応援スレ) 65 - 暇つぶし2ch767:１３２人目の素数さん
22/04/29 10:33:09.61 b8gsErp4.net
>>700
>そうしないと、集合論を一階述語論理で記載できませんよ
良いんじゃね？
そもそも、>>667 「普通の命題論理では論理和と論理積は無限に続くことが許されないので自明ではないんですよね」
は、一階述語論理というしばりないよ

次ページ

続きを表示

1を表示