3 ideas
13536 | Skolem did not believe in the existence of uncountable sets [Skolem] |
10792 | The substitutional quantifier is not in competition with the standard interpretation [Kripke, by Marcus (Barcan)] |
1558 | Clearly the gods ignore human affairs, or they would have given us justice [Thrasymachus] |