Encyclopedia > F > Fixed-point lemma for normal functions
Fixed-point lemma for normal functions
The fixed-point lemma for normal functions is a basic result in axiomatic set theory; it states that any normal function has arbitrarily large fixed points and can often be used to construct ordinal numbers with interesting properties. A formal version and proof (using the Zermelo-Fraenkel axioms) follows.
Information are taken from Wikipedia, the open encyclopedia, to which contribute many volunteers from around the whole world. Texts are available under the following conditions GNU Free Documentation License.
Encyklopedie (cz) Encyklopédia (sk) Enzyklopädie (de)