display all the ideas for this combination of texts
3 ideas
10580 | Mathematics is both necessary and a priori because it really consists of logical truths [Yablo] |
10579 | Putting numbers in quantifiable position (rather than many quantifiers) makes expression easier [Yablo] |
8747 | Realists are happy with impredicative definitions, which describe entities in terms of other existing entities [Gödel, by Shapiro] |