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 |
|
Language | Label | Description | Also known as |
---|---|---|---|
English | axiom of constructibility |
assertation that every set is constructible |
|