Namespaces
Variants
Actions

Difference between revisions of "Talk:Universe"

From Encyclopedia of Mathematics
Jump to: navigation, search
(a universe, but not a model)
 
m (universe but not a model)
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)

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=42052