PanLinx
русский
rus-000
доказуемая определимость
English
eng-000
provable definability
PanLex