ﾚｽ書き込み

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

PC,ｽﾏﾎ,PHSは ULA べっかんこ公式(ｽﾏﾎ) 公式(PC) で書き込んでください｡

名前
ﾒｰﾙ
引用切替：ﾚｽｱﾝｶｰのみ

>>91
> >>77
> ツェルメロ構成
> 批判はされているけれど（＾＾
> 
> https://plato.stanford.edu/entries/zermelo-set-theory/
> Stanford Encyclopedia of Philosophy
> Zermelo’s Axiomatization of Set Theory
> First published Tue Jul 2, 2013
> (抜粋)
> 3.2.1 Representing Ordinary Mathematics
> 
> The first obvious question concerns the representation of the ordinary number systems.
> The natural numbers are represented by Zermelo as by Φ, {Φ}, {{Φ}}, …, and the Axiom of Infinity gives us a set of these.
> Moreover, it seems that, since both the set of natural numbers and the power set axiom are available, there are enough sets to represent the rationals and the reals, functions on reals etc.
> What are missing, though, are the details: how exactly does one represent the right equivalence classes, sequences etc.?
> And assuming that one could define the real numbers, how does one characterise the field operations on them?
> In addition, as mentioned previously, Zermelo has no natural way of representing either the general notions of relation or of function.
> This means that his presentation of set theory has no natural way of representing those parts of mathematics (like real analysis) in which the general notion of function plays a fundamental part.
> 
> 3.2.2 Ordinality
> Zermelo's idea (1908a) was pursued by Kuratowski in the 1920s, thereby generalising and systematising work, not just of Zermelo, but of Hessenberg and Hausdorff too, giving a simple set of necessary and sufficient conditions for a subset ordering to represent a linear ordering.
> He also argues forcefully that it is in fact undesirable for set theory to go beyond this and present a general theory of ordinal numbers:
> 
> (引用終り)

ﾛｰｶﾙﾙｰﾙ SETTING.TXT

他の携帯ﾌﾞﾗｳｻﾞのﾚｽ書き込みﾌｫｰﾑはこちら｡書き込み設定で書き込みｻｲﾄの設定ができます｡
・ULA
・べっかんこ(身代わりの術)
・べっかんこ(通常)
・公式(ｽﾏﾎ)
・公式(PC)[PC,ｽﾏﾎ,PHS可]

書き込み設定(板別)で板別の名前とﾒｰﾙを設定できます｡

上下板覧索設栞歴

ぬこの手ぬこTOP 0.021s