Gödeli tõestus - sidottu, viro, 2020