vybudování axiomatické teorie jakožto jazykového <span class="linked_term" onclick="showTermNamed('systém')">*systému</span>: nejprve se definuje <span class="linked_term" onclick="showTermNamed('syntax')">*syntaxe</span> tak, že se zvolí <span class="linked_term" onclick="showTermNamed('symbol')">*symboly</span> (abeceda), formační pravidla (gramatika) a&nbsp;transformační pravidla (<span class="linked_term" onclick="showTermNamed('logika')">*logika</span>) a&nbsp;pak se volbou <span class="linked_term" onclick="showTermNamed('axiom')">*axiomů</span> a&nbsp;vyvozovacích pravidel zavede <span class="linked_term" onclick="showTermNamed('sémantika')">*sémantika</span>. Na syntaktické úrovni vede k&nbsp;mechanizaci vyvozování. (<span class="linked_term" onclick="showTermNamed('Malina, Jaroslav A.')">Jaroslav Malina</span>)