Huang Chong-zhi
Abstract
The writer points out the nonindependence of the Peano's axiom system for the natural numbers.In fact,the writer proves that the 5th axiom in that system,viz,the principle of mathematical induction,is really the logical consequence of the rest in that system.
A significance statement is not available in the OpenAlex record.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
The writer points out the nonindependence of the Peano's axiom system for the natural numbers.In fact,the writer proves that the 5th axiom in that system,viz,the principle of mathematical induction,is really the logical consequence of the rest in that system.
Key concepts: Peano axioms, Axiom, Mathematical economics, Mathematics, Rest (music), Second-order arithmetic, Calculus (dental), Discrete mathematics