Statements (31)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:compatibleWith |
Complex number
Imaginary number Negative Fractional Irrational |
| gptkbp:definedIn |
gptkb:Peano_axioms
|
| gptkbp:first_element |
1
|
| gptkbp:hasProperty |
Closure under addition
Closure under multiplication Well-ordering principle |
| gptkbp:heldBy |
Discrete
|
| gptkbp:includes |
2
1 3 4 5 |
| gptkbp:is_infinite |
True
|
| gptkbp:is_subset_of |
gptkb:Integer
|
| gptkbp:mayInclude |
0
|
| gptkbp:notation |
N
|
| gptkbp:studiedBy |
gptkb:Number_theory
|
| gptkbp:symbol |
N
|
| gptkbp:type |
gptkb:Number
|
| gptkbp:used_in |
gptkb:Set_theory
Counting Ordering Combinatorics |
| gptkbp:bfsParent |
gptkb:Numbers
|
| gptkbp:bfsLayer |
5
|
| https://www.w3.org/2000/01/rdf-schema#label |
Natural number
|