PanLinx
русский
rus-000
метаматематическая теорема
English
eng-000
metamathematical theorem
PanLex
