On equality and natural numbers in Cantor-Lukasiewicz set theory (Q4925160)
From MaRDI portal
scientific article; zbMATH DE number 6174083
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On equality and natural numbers in Cantor-Lukasiewicz set theory |
scientific article; zbMATH DE number 6174083 |
Statements
On equality and natural numbers in Cantor-Lukasiewicz set theory (English)
0 references
11 June 2013
0 references
Łukasiewicz logic
0 references
infinite-valued logic
0 references
full comprehension
0 references
Cantor set theory
0 references
incompleteness
0 references
undecidability
0 references
