tvrzení dokázané Kurtem <span class="linked_term" onclick="showTermNamed('Gödel, Kurt')">*Gödelem</span> – bezesporná axiomatická teorie obsahující aritmetiku, podle něho nemůže být nikdy úplná. (<span class="linked_term" onclick="showTermNamed('Malina, Jaroslav A.')">Jaroslav Malina</span>)