ツェルメロ＝フレンケル集合論
□記事を途中から表示しています
[最初から表示]
出典^ Ciesielski 1997. "Zermelo-Fraenkel axioms (abbreviated as ZFC where C stands for the axiom of Choice"
^ Ebbinghaus 2007, p. 136.
^ Halbeisen 2011, pp. 62?63.
^ これについての議論は Fraenkel, Bar-Hillel & Levy 1973を参照
^ Kunen (1980, p. 10).
^ Hatcher 1982, p. 138, def. 1.
^ Fraenkel, Bar-Hillel & Levy 1973.
^ Shoenfield 2001, p. 239.
^ Kunen 1980, p. 15
^ Shoenfield 1977, section 2.
^ Hinman 2005, p. 467.
^ (Link 2014)
^ Tarski 1939.
^ Feferman 1996.
^ Wolchover 2013.
注釈^ 集合の元であって、それ自体が集合ではないもの
^ a b それに属する元が共通してもつ属性によって定義された数学的対象の集まりであり、集合とするには大きすぎるもの
^ 集合の存在を直接主張する公理の省略は、2つの方法で正当化できる。1つ目として、通常ZFCが形式化される一階述語論理の標準的な文脈では、論議領域が空でない必要がある。したがって、「何か」が存在することは一階述語論理の論理的定理である。この定理は通常、「何か」がそれ自体と同一であるという命題 ∃ x ( x = x ) {\displaystyle \exists x(x=x)} として表される。前述の通り、ZFCの言語では集合のみを扱うため、この論理的定理をZFCの言語で解釈すると、何らかの集合が存在するということになる。したがって、集合の存在を主張する別の公理は必要ない。2つ目として、ZFCがいわゆるフリーロジック（英語版）で定式化されており、論理だけでは何かが存在することを証明できない場合でも、無限公理（後述）は無限集合が存在すると主張する。これは何らかの集合が存在することを意味するので、やはり追加の公理は不要である。
参考文献.mw-parser-output .refbegin{margin-bottom:0.5em}.mw-parser-output .refbegin-hanging-indents>ul{margin-left:0}.mw-parser-output .refbegin-hanging-indents>ul>li{margin-left:0;padding-left:3.2em;text-indent:-3.2em}.mw-parser-output .refbegin-hanging-indents ul,.mw-parser-output .refbegin-hanging-indents ul li{list-style:none}@media(max-width:720px){.mw-parser-output .refbegin-hanging-indents>ul>li{padding-left:1.6em;text-indent:-1.6em}}.mw-parser-output .refbegin-100{font-size:100%}.mw-parser-output .refbegin-columns{margin-top:0.3em}.mw-parser-output .refbegin-columns ul{margin-top:0}.mw-parser-output .refbegin-columns li{page-break-inside:avoid;break-inside:avoid-column}
Abian, Alexander (1965). The Theory of Sets and Transfinite Arithmetic. W B Saunders. https://archive.org/details/theoryofsetstran00abia
; LaMacchia, Samuel (1978). “On the Consistency and Independence of Some Set-Theoretical Axioms”. Notre Dame Journal of Formal Logic 19: 155?58. doi:10.1305/ndjfl/1093888220.
次ページ記事の検索おまかせリスト▼オプションを表示暇つぶしWikipedia
Size:89 KB
出典: フリー百科事典『ウィキペディア（Wikipedia）』
担当:undef