22/11/27 10:38:45.36 NelG/bPl.net
>>224
0224 ご冗談でしょう？名無しさん 2022/11/27(日) 10:28:21.68
ラッセルのパラドックスを回避できる体系はZFC公理系しか無いんだぞ
これも定量的手法で物理学的な論理学だから定量的論理学しか無い
論理学は定量的論理学以外も実在する
数学ならあらゆる手法の論理学で証明する
定量的手法じゃない方法を多用して
物理学しかわからない物理学畑が
数学者を越えてると思ってるおばかさんが
22/11/27 10:38:45.36 NelG/bPl.net
>>224
0224 ご冗談でしょう？名無しさん 2022/11/27(日) 10:28:21.68
ラッセルのパラドックスを回避できる体系はZFC公理系しか無いんだぞ
これも定量的手法で物理学的な論理学だから定量的論理学しか無い
論理学は定量的論理学以外も実在する
数学ならあらゆる手法の論理学で証明する
定量的手法じゃない方法を多用して
物理学しかわからない物理学畑が
数学者を越えてると思ってるおばかさんが