PanLinx
русский
rus-000
конечно аксиоматизируемая система
English
eng-000
finitizable system
PanLex