En matemática se distinguen dos tipos de proposiciones: axiomas lógicos y postulados.