display all the ideas for this combination of texts
2 ideas
17447 | Parsons says counting is tagging as first, second, third..., and converting the last to a cardinal [Parsons,C, by Heck] |
10294 | Second-order logic has the expressive power for mathematics, but an unworkable model theory [Shapiro] |