przechodniość.

aksjomat, a właściwie nieskończony przeliczalny zbiór aksjomatów pierwszego rzędu, pozalogicznych rozważany zwłaszcza w teorii arytmetyki liczb naturalnych.

zdanie orzekające, że każdy zbiór jest konstruowalny.

zdanie postulujące pewną własność zbiorów uporządkowanych.

zdanie w teorii mnogości postulujące zdeterminowanie pewnych gier nieskończonych.

system pojęć, definicji, aksjomatów i twierdzeń, ustalających relacje między tymi pojęciami i aksjomatami, tworzący spójny system pojęciowy, opisujący jakąś wybraną dziedzinę fizyczną lub abstrakcyjną.

system pojęć, definicji, aksjomatów i twierdzeń, ustalających relacje między tymi pojęciami i aksjomatami, tworzący spójny system pojęciowy, opisujący jakąś wybraną dziedzinę fizyczną lub abstrakcyjną.

założenie, że prosta na płaszczyźnie, która nie przechodzi przez żaden z wierzchołków trójkąta i przecina jeden jego bok, przecina jeszcze drugi.

aksjomat głoszący, że każdy odcinek jest krótszy od pewnej wielokrotności długości każdego innego odcinka.

punkt widzenia lub teza przyjęta na początku rozumowania i stanowiąca dla niego podstawę.