Item:Q1197: Difference between revisions

← Older edit

@@ Property / instance of @@
+non-positive integer
@@ Property / instance of: non-positive integer / rank @@
+Normal rank
@@ Property / instance of: non-positive integer / qualifier @@
+follows: -1
@@ Property / instance of @@
+integer
@@ Property / instance of: integer / rank @@
+Normal rank
@@ Property / instance of: integer / qualifier @@
+follows: -1
@@ Property / instance of: integer / qualifier @@
+followed by: 1
@@ Property / instance of @@
+even number
@@ Property / instance of: even number / rank @@
+Normal rank
@@ Property / instance of: even number / qualifier @@
+follows: -2
@@ Property / instance of: even number / qualifier @@
+followed by: 2
@@ Property / instance of @@
+non-negative integer
@@ Property / instance of: non-negative integer / rank @@
+Normal rank
@@ Property / instance of: non-negative integer / qualifier @@
+followed by: 1
@@ Property / instance of @@
+number class
@@ Property / instance of: 0 number class / rank @@
+Normal rank
@@ Property / instance of @@
+automorphic number
@@ Property / instance of: automorphic number / rank @@
+Normal rank
@@ Property / instance of: automorphic number / qualifier @@
+followed by: 1
@@ Property / instance of @@
+Fibonacci number
@@ Property / instance of: Fibonacci number / rank @@
+Normal rank
@@ Property / instance of: Fibonacci number / qualifier @@
+followed by: 1
@@ Property / instance of: Fibonacci number / qualifier @@
+follows: -1
@@ Property / instance of @@
+additive identity
@@ Property / instance of: additive identity / rank @@
+Normal rank
@@ Property / instance of @@
+natural number
@@ Property / instance of: natural number / rank @@
+Normal rank
@@ Property / instance of: natural number / qualifier @@
+followed by: 1
@@ Property / instance of: natural number / qualifier @@
+statement supported by: Nicolas Bourbaki