PRZEBIEG ZMIAN, wymagalnik NOTs
teza przyjmowana bez dowodu jako aksjomat, stanowiąca punkt wyjścia i podstawę w dowodzeniu innych twierdzeń; postulat