3 ideas
17743 | De Morgan introduced a 'universe of discourse', to replace Boole's universe of 'all things' [De Morgan, by Walicki] |
14248 | We could accept the integers as primitive, then use sets to construct the rest [Cohen] |
12702 | Causes can be inferred from perfect knowledge of their effects [Leibniz] |