A note on a formalized arithmetic with function symbols ' and +
first order language with function symbols
scientific article; zbMATH DE number 3637858