PanLinx
русский
rus-000
аксиома свертывания
English
eng-000
axiom of comprehension
PanLex