Простое и не очень формальное описание того, что такое ординалы и что с ними можно делать - http://avva.livejournal.com/248899.html Вообще, это часть интересной серии из четырех постов про довольно просто выглядящую задачу и где в этой задаче можно найти очень серьезные логические идеи (там доказывают, что "простого решения" (в неком интуитивном смысле) у задачи быть не может из-за того, что арифметика Пеано не может доказать собственную непротиворечивость). Последний пост из серии - http://avva.livejournal.com/249897.html , там есть ссылки на первые три (включая тот, что про ординалы).