20/05/09 09:25:06.58 j9hCxaDC.net
>>332-332
団長ぉ なにスネてるんですか？
あ、自分が工学部卒だから、数学科卒に劣等感感じてるんですね？
大丈夫ですって、ボクも大学３年でザセツして
情報科学に転向しましたから
＞論理式として無限個が必要になるっていうテクニカルな話
論理学なら、初歩の話ですけどね
いまどきは、完全性定理と不完全性定理も、学部レベルで教えますけど
前者でコンパクト性定理も出てきます
証明が有限個の公理しか使わないことを考えれば当たり前ですが
ただ、数学科では数理論理学知らない人多いんだよねぇ
数理論理学知らなくても証明書けちゃうし
物理学者が定理の証明知らなくても計算できちゃうみたいなもんです
（ちょっと違う？）