8 ideas
17879 | Axiomatising set theory makes it all relative [Skolem] |
21563 | The 'no classes' theory says the propositions just refer to the members [Russell] |
17878 | If a 1st-order proposition is satisfied, it is satisfied in a denumerably infinite domain [Skolem] |
21565 | Richard's puzzle uses the notion of 'definition' - but that cannot be defined [Russell] |
21564 | Vicious Circle: what involves ALL must not be one of those ALL [Russell] |
17880 | Integers and induction are clear as foundations, but set-theory axioms certainly aren't [Skolem] |
17881 | Mathematician want performable operations, not propositions about objects [Skolem] |
468 | Musical performance can reveal a range of virtues [Damon of Ath.] |