9 ideas
10304 | Very few things in set theory remain valid in intuitionist mathematics [Bernays] |
13949 | All models of Peano axioms are isomorphic, so the models all seem equally good for natural numbers [Cartwright,R on Peano] |
18113 | PA concerns any entities which satisfy the axioms [Peano, by Bostock] |
17634 | Peano axioms not only support arithmetic, but are also fairly obvious [Peano, by Russell] |
15653 | We can add Reflexion Principles to Peano Arithmetic, which assert its consistency or soundness [Halbach on Peano] |
10303 | Restricted Platonism is just an ideal projection of a domain of thought [Bernays] |
17635 | Arithmetic can have even simpler logical premises than the Peano Axioms [Russell on Peano] |
10306 | Mathematical abstraction just goes in a different direction from logic [Bernays] |
19216 | Propositions (such as 'that dog is barking') only exist if their items exist [Williamson] |