- 77 名前：１３２人目の素数さん mailto:sage [2016/09/04(日) 20:43:47.27 ID:uD7gdHTl.net]
- >>74
ラッセルらのプリンキピア・マテマティカによれば全ての論理学は集合論に基づかなければならず、そのような集合論を矛盾なく扱うには集合の性質はどのようなものでなければならないかが扱われた
ブルバキプロジェクトではそのような論理学の帰結に基づかなければ公理的な数学を構築することは不可能であるから、集合を正しく扱う集合論に基づく論理体系によって全ての数学を再構成した
故にプリンキピア・マテマティカにその原点を見出さなければならない
プリンキピア・マテマティカの前後ではどのような論理式と集合論が適切なのかという議論が行われ、その時に様相論理は完全に誤っており非合理的なものとされた
今でも様相論理とか言い出すバカは歴史を理解してない
様相論理は能力が低く証明力が無いから捨てられたということに対して反証出来ない
現実にクリプキらの様相論理は中学校レベルの数学すら構築出来ずに全く役に立たないゴミ
