Different models of set theory contain different versions of L with different cardinalities, confirm...
This proposition has not been edited since the history system was added.