twierdzenie metamatematyczne, mówiące o tym, że dowolny niesprzeczny zbiór formuł można rozszerzyć do niesprzecznego i zupełnego zbioru formuł.

twierdzenie teorii mnogości, nazywane zwyczajowo lematem, dające pewien warunek dostateczny istnienia elementu maksymalnego w danym zbiorze częściowo uporządkowanym.

w logice tradycyjnej: niezawodny schemat wnioskowania, w którym przesłankami są dwa zdania warunkowe i alternatywa (nierozłączna), z których każdemu już na gruncie klasycznego rachunku zdań odpowiada właściwe prawo logiczne.

schemat wnioskowania przedstawiający potrójną alternatywę dla trzech zdań warunkowych.

sformalizowana wypowiedź sądu, stosowana we wszystkich naukach ścisłych, składająca się z dwóch zbiorów zdań, z których jeden jest założeniem, a drugi - tezą, które łączy relacja implikacji.