obestridligt arithmetiskl axiom alt den sorn katiårligen