poučka, věta (v&nbsp;matematice apod.), kterou lze v&nbsp;rámci <span class="linked_term" onclick="showTermNamed('systém')">*systému</span> dokázat, například z&nbsp;<span class="linked_term" onclick="showTermNamed('axiom')">*axiomů</span>. (Jaroslav Malina)