låter icke bevisa sig derföre , att han är en följdsats af ett axiom ( en sats med omedelbar sanning ).