No label defined (Q3466600)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
1 February 2016
0 references
Cantor's theorem
0 references
constructive ordinals
0 references
countability
0 references
definability
0 references
indefinite extensibility
0 references
quantifiers
0 references
Richard's paradox
0 references
definable universe
0 references
