Ett postulat är , attden