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