att dessa satser innehålla så kallade postulat.