Formal Systems of Mathematics