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] |
17890 | There are at least eleven types of large cardinal, of increasing logical strength [Koellner] |