PanLinx
русский
rus-000
трансфинитная рекурсия
English
eng-000
transfinite recursion
PanLex
