Difference between revisions of "Talk:Universe"

Revision as of 18:38, 12 October 2017

The set of all hereditary finite sets is a universe, but not a model of ZF (since ZF stipulates the axiom of infinity). Boris Tsirelson (talk) 20:33, 12 October 2017 (CEST)

How to Cite This Entry:
Universe. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Universe&oldid=42053

Revision as of 18:33, 12 October 2017 (view source) Boris Tsirelson (talk \| contribs) (a universe, but not a model)		Revision as of 18:38, 12 October 2017 (view source) Boris Tsirelson (talk \| contribs) m (universe but not a model) Newer edit →
Line 1:		Line 1:
−	The set of all [https://en.wikipedia.org/wiki/Hereditarily_finite_set hereditary finite sets] is a universe, but not a model of ZF (since ZF stipulates the axiom of infinity). [[User:Boris Tsirelson\|Boris Tsirelson]] ([[User talk:Boris Tsirelson\|talk]]) 20:33, 12 October 2017 (CEST)	+	The set of all [https://en.wikipedia.org/wiki/Hereditarily_finite_set hereditary finite sets] is a universe, but not a model of ZF (since ZF stipulates [[Infinity, axiom of\|the axiom of infinity]]). [[User:Boris Tsirelson\|Boris Tsirelson]] ([[User talk:Boris Tsirelson\|talk]]) 20:33, 12 October 2017 (CEST)