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