PanLinx
English
eng-000
a priori proof
русский
rus-000
априорное доказательство
PanLex