■ このスレッドは過去ログ倉庫に格納されています
Inter-universal geometry と ABC予想 (応援スレ) 65
- 709 :132人目の素数さん:2022/04/29(金) 10:33:09.61 ID:b8gsErp4.net
- >>700
>そうしないと、集合論を一階述語論理で記載できませんよ
良いんじゃね?
そもそも、>>667 「普通の命題論理では論理和と論理積は無限に続くことが許されないので自明ではないんですよね」
は、一階述語論理という しばりないよ
総レス数 1001
611 KB
新着レスの表示
掲示板に戻る
全部
前100
次100
最新50
read.cgi ver.24052200