Combining Texts
Ideas for
'fragments/reports', 'works' and 'Introduction to Mathematical Logic'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
11 ideas
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / e. Ordinal numbers
|
17758
|
Ordinals are transitive sets of transitive sets; or transitive sets totally ordered by inclusion [Walicki]
|
|
17755
|
Ordinals are the empty set, union with the singleton, and any arbitrary union of ordinals [Walicki]
|
|
17756
|
The union of finite ordinals is the first 'limit ordinal'; 2ω is the second... [Walicki]
|
|
17760
|
Two infinite ordinals can represent a single infinite cardinal [Walicki]
|
|
17757
|
Members of ordinals are ordinals, and also subsets of ordinals [Walicki]
|
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / a. Units
|
9147
|
Number cannot be defined as addition of ones, since that needs the number; it is a single act of abstraction [Fine,K on Leibniz]
|
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / j. Infinite divisibility
|
19375
|
The continuum is not divided like sand, but folded like paper [Leibniz, by Arthur,R]
|
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / k. Infinitesimals
|
18081
|
Nature uses the infinite everywhere [Leibniz]
|
|
18080
|
A tangent is a line connecting two points on a curve that are infinitely close together [Leibniz]
|
6. Mathematics / B. Foundations for Mathematics / 3. Axioms for Geometry
|
17762
|
In non-Euclidean geometry, all Euclidean theorems are valid that avoid the fifth postulate [Walicki]
|
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / f. Mathematical induction
|
17754
|
Inductive proof depends on the choice of the ordering [Walicki]
|