Axiomatizations of arithmetic and the first-order/second-order divide
scientific article; zbMATH DE number 7435317