PhilosophyIdeas
.com Database |
Current Total Ideas:
22,126
|
home
|
back
Combining Texts
All the ideas for 'Truth (frags)', 'Proof that every set can be well-ordered' and 'Principles of Theoretical Logic'
expand these ideas
|
start again
| specify just
one area
for these texts
2 ideas
4. Formal Logic / C. Predicate Calculus PC / 1. Predicate Calculus PC
17750
The first clear proof of the consistency of the first order predicate logic was in 1928
[Hilbert/Ackermann, by Walicki]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / e. Countable infinity
15897
Zermelo realised that Choice would facilitate the sort of 'counting' Cantor needed
[Zermelo, by Lavine]