display all the ideas for this combination of texts
4 ideas
16150 | One is, so numbers exist, so endless numbers exist, and each one must partake of being [Plato] |
23457 | Type theory cannot identify features across levels (because such predicates break the rules) [Morris,M on Russell] |
21556 | Classes are defined by propositional functions, and functions are typed, with an axiom of reducibility [Russell, by Lackey] |
21568 | A one-variable function is only 'predicative' if it is one order above its arguments [Russell] |