3 ideas
17699 | Variables are auxiliary notions, and not part of the 'eternal' essence of logic [Schönfinkel] |
9464 | One of their own prophets said that Cretans are always liars [Anon (Titus)] |
13166 | Essences are no use in mathematics, if all mathematical truths are necessary [Mancosu] |