>数学って主に自然科学の記述に「使われている
??
たとえば
選択公理の、自然科学に対応するものは、ナンデしょうか