Gödeli tõestus - inbunden, Estniska, 2020