4 ideas
23367 | Even pointing a finger should only be done for a reason [Epictetus] |
8972 | What in the real world could ground the distinction between the sets {A,{A,B}} and {B,{A,B}}? [Inwagen] |
17813 | Löwenheim-Skolem says any theory with a true interpretation has a model in the natural numbers [White,NP] |
17812 | Finite cardinalities don't need numbers as objects; numerical quantifiers will do [White,NP] |