"Метаматематика элементарной математики" - читать интересную книгу автора (Энгелер Э.(Engeler E.))