Allt detta är ju axiomer , uppställda af allaberäknande