8 ideas
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] |
17635 | Arithmetic can have even simpler logical premises than the Peano Axioms [Russell on Peano] |
15201 | That Queen Anne is dead is a 'general fact', not a fact about Queen Anne [Prior,AN] |
18436 | Entities are truthmakers for their resemblances, so no extra entities or 'resemblances' are needed [Rodriquez-Pereyra] |
22899 | 'Thank goodness that's over' is not like 'thank goodness that happened on Friday' [Prior,AN] |