Theoremdex.org
Definitions
,
Results
,
Conjectures
0.
Set of symbols
1.
Alphabet
2.
Deduction system
3.
Theory
4.
Zermelo-Fraenkel set theory
5.
Set
6.
Collection of sets
7.
Set union
8.
Successor set
9.
Inductive set
10.
Set of inductive sets
Set of basic natural numbers
<No formulations for this definition yet>
Also known as
Set of unsigned integers
Child definitions
»
D3202: Basic natural number set density
»
D3200: Lower basic natural number set density
»
D1042: Set of digits
»
D4595: Set of Fibonacci numbers
»
D3201: Upper basic natural number set density