display all the ideas for this combination of texts
3 ideas
22293 | Hilbert said (to block paradoxes) that mathematical existence is entailed by consistency [Hilbert, by Potter] |
21559 | We need rules for deciding which norms are predicative (unless none of them are) [Russell] |
21558 | 'Predicative' norms are those which define a class [Russell] |