4 ideas
6408 | Russell needed three extra axioms to reduce maths to logic: infinity, choice and reducibility [Grayling] |
6414 | Two propositions might seem self-evident, but contradict one another [Grayling] |
6017 | Nomos is king [Pindar] |
22908 | When one element contains the grounds of the other, the first one is prior in time [Leibniz] |