公理 的 集合 論。 公理的集合論

集合論(五) 有序對、冪集、卡氏積

描述集合論的當代研究包括 ( 英語 : )及一些更複雜的可定義。 Springer. NBG和ZFC事實上是等價的,即所有不以任何方式提及類的在兩個公理體系中同時可以證明或同時不能證明。

5

集合論についての概要

選択公理を仮定しない体系も盛んに研究されている。 Pure Appl. Zermelo證得。 並べたものなら何でも良いわけですが、これには意味が設定できそうにありません。

20

公理的集合論

許多數學家研究的公理集合論系統假設所有的集合形成累計層次。

公理

ただの記号ですが超重要です。

25

集合論的ZFC公理系統

どういうことか見ていきましょう。 の三つの事実が確かめられます。

形式言語、論理式、文とは:公理的集合論に向けて

Cantor 提出,他指出「集合就是在我們直覺意識或思維中可明確鑑別出的一群物件」。

3