Axiom is a conclusion that has been recognized without proof, so it is unnecessary and impossible to prove it. Because to prove a conclusion A, we must use known conclusions B_ 1, B_2, ..., and to prove conclusion B, we must use conclusions C_ 1, C_2, ..., and so on. Life is limited and there must be unproven conclusions.