axiomatiskt antagna satsen , att kvinnansnormala