プリンキピア・マテマティカの公理系とは？
ぷりんきぴあ・まてまてぃかのこうりけい
数学全体を少数の論理の規則から組み立てようとした試みだよ。
「算数・数学のすべてを、ごく少数の基本的な論理の決まりだけから矛盾なく作り直そうとした巨大なプロジェクト」だよ。
つかいかた・れいぶん
プリンキピア・マテマティカは1＋1＝2を証明するのに数百ページかけた大著だよ。
このことばを シェア
さいごの こうしん: