2 ms·Mathematics from axioms: http://us.metamath.org/index.html http://us.metamath.org/index.htmlby 7373737373 10y agoMathematics from axioms: http://us.metamath.org/index.html http://us.metamath.org/index.html