3 ideas
17743 | De Morgan introduced a 'universe of discourse', to replace Boole's universe of 'all things' [De Morgan, by Walicki] |
17606 | Axioms reveal the underlying assumptions, and reveal relationships between different areas [Kline] |
20363 | Leaves are unequal, but we form the concept 'leaf' by discarding their individual differences [Nietzsche] |