8 ideas
17879 | Axiomatising set theory makes it all relative [Skolem] |
17878 | If a 1st-order proposition is satisfied, it is satisfied in a denumerably infinite domain [Skolem] |
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] |
335 | Do the gods also hold different opinions about what is right and honourable? [Plato] |
14014 | Space alone, and time alone, will fade away, and only their union has an independent reality [Minkowski] |
337 | It seems that the gods love things because they are pious, rather than making them pious by loving them [Plato] |
336 | Is what is pious loved by the gods because it is pious, or is it pious because they love it? (the 'Euthyphro Question') [Plato] |