PanLinx
English
eng-000
metamathematical consequence
русский
rus-000
метаматематическое следствие
PanLex
