| ▼ |
Set of symbols
|
| ▼ |
Alphabet
|
| ▼ |
Deduction system
|
| ▼ |
Theory
|
| ▼ |
Zermelo-Fraenkel set theory
|
| ▼ |
Set
|
| ▼ |
Binary cartesian set product
|
| ▼ |
Binary relation
|
| ▼ |
Binary endorelation
|
| ▼ |
Preordering relation
|
| ▼ |
Partial ordering relation
|
| ▼ |
Ordering relation
|
| ▼ |
Ordered set
|
| ▼ |
Dedekind cut
|
| ▼ |
Set of real numbers
|
| ▼ |
Set of basic numbers
|
| ▼ |
Basic number
|
