kalkul, který umožňuje odvodit všechny své <span class="linked_term" onclick="showTermNamed('tautologie')">*tautologie</span>. Pro kalkul <span class="linked_term" onclick="showTermNamed('logika, výroková')">*výrokové logiky</span> dokázal tuto jeho vlastnost Paul Bernays (1888–1977), pro kalkul <span class="linked_term" onclick="showTermNamed('logika, predikátová')">*predikátové logiky</span> 1. řádu Kurt <span class="linked_term" onclick="showTermNamed('Gödel, Kurt')">*Gödel</span>. (Jaroslav Malina)