PanLinx
eesti
ekk-000
tõestamatus
русский
rus-000
недоказанность
PanLex