Template:Begin-axiom

{|