3 ideas
17699 | Variables are auxiliary notions, and not part of the 'eternal' essence of logic [Schönfinkel] |
14248 | We could accept the integers as primitive, then use sets to construct the rest [Cohen] |
7907 | Human killing is worse if the victim is virtuous [Buddhaghosa] |