3 ideas
18189 | ZFC could contain a contradiction, and it can never prove its own consistency [MacLane] |
8754 | Logic is dependent on mathematics, not the other way round [Heyting, by Shapiro] |
5655 | Happiness is not satisfaction of desires, but fulfilment of values [Bradley, by Scruton] |