6 ideas
17750 | The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki] |
17611 | We want the essence of continuity, by showing its origin in arithmetic [Dedekind] |
10572 | A cut between rational numbers creates and defines an irrational number [Dedekind] |
17612 | Arithmetic is just the consequence of counting, which is the successor operation [Dedekind] |
18087 | If x changes by less and less, it must approach a limit [Dedekind] |
7903 | The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna] |