en

Proof of nonderivability

ru

Translation of "proof of nonderivability" into Russian

proof of nonderivability
доказательство недоказуемости
The proof of nonderivability was complex and required advanced logic.
Доказательство недоказуемости было сложным и требовало использования продвинутой логики.