När de såsom axiomer uppställa dels “att