axiom of constructibility (Q6481268)

From MaRDI portal
assertation that every set is constructible
  • V=L
Language Label Description Also known as
English
axiom of constructibility
assertation that every set is constructible
  • V=L

Statements

Identifiers

0 references