3 ideas
8728 | Intuitionist mathematics deduces by introspective construction, and rejects unknown truths [Brouwer] |
6019 | If someone squashed a horse to make a dog, something new would now exist [Mnesarchus] |
19216 | Propositions (such as 'that dog is barking') only exist if their items exist [Williamson] |