Don't wanna be here? Send us removal request.
Text
Set
An inner model of Zermelo–Fraenkel set theory (ZF) is a transitive class that includes all the ordinals and satisfies all the axioms of ZF. The canonical example is the constructible universe L developed by Gödel.
0 notes
Link
1 note
·
View note