ThmDex – An index of mathematical definitions, results, and conjectures.
Definitions
,
Results
,
Conjectures
▼
Set of symbols
▼
Alphabet
▼
Deduction system
▼
Theory
▼
Zermelo-Fraenkel set theory
▼
Set
▼
Binary cartesian set product
▼
Binary relation
▼
Map
▼
Countable map
▼
Sequence
▼
Standard sequence
▼
Set of standard sequences
▼
Cantor diagonal sequence
Definition D5362
Boolean Cantor diagonal sequence
Results
▶
R4058: Boolean Cantor diagonal sequence is not a term in the sequence inducing it