display all the ideas for this combination of texts
3 ideas
16869 | To create order in mathematics we need a full system, guided by patterns of inference [Frege] |
17447 | Parsons says counting is tagging as first, second, third..., and converting the last to a cardinal [Parsons,C, by Heck] |
16864 | If principles are provable, they are theorems; if not, they are axioms [Frege] |