現代数学の系譜カントル超限集合論他 3

現代数学の系譜カントル超限集合論他 3at MATH

現代数学の系譜カントル超限集合論他 3 - 暇つぶし2ch193:L限から無限への移行原理としての命題論理渕野昌 2012 P7 命題論理のコンパクト性定理定理1　 Tのすべての有限部分集合が充足可能なら T も充足可能であるコンパクト性定理は，無限の性質が本質的かかわっている定理である命題論理のコンパクト性定理は，有限の世界で成立する命題のアナロジーが無限の世界でも成立することを証明するときの強力な道具の１つとなる

次ページ

続きを表示

1を表示