Which axiom is used to prove that the product of two rational numbers is rational?

Holy cow, what is an axiom?