1. výraz sestavený v&nbsp;souladu s&nbsp;pravidly daného formalizovaného <span class="linked_term" onclick="showTermNamed('jazyk')">*jazyka</span>. Formulemi se symbolicky zapisují <span class="linked_term" onclick="showTermNamed('pojem')">*pojmy</span>, <span class="linked_term" onclick="showTermNamed('výrok')">*výroky</span> a&nbsp;důkazy;$2. úředně nebo <span class="linked_term" onclick="showTermNamed('zvyk')">*zvykem</span> ustálený způsob vyjádření, ustálené znění (příklad: svatební formule). (<span class="linked_term" onclick="showTermNamed('Malina, Jaroslav A.')">Jaroslav Malina</span>)