klandrade satsen verkligen vore ett axiomoch