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