6 ideas
15927 | Definition just needs negation, known variables, conjunction, disjunction, substitution and quantification [Weyl, by Lavine] |
16901 | The equivalent algebra model of geometry loses some essential spatial meaning [Burge] |
16902 | Peano arithmetic requires grasping 0 as a primitive number [Burge] |
16007 | I assume existence, rather than reasoning towards it [Kierkegaard] |
16013 | Nothing necessary can come into existence, since it already 'is' [Kierkegaard] |
16892 | Is apriority predicated mainly of truths and proofs, or of human cognition? [Burge] |