Axiomatization, Formalization and Completeness

Axiomatization, Formalization and Completeness: Part I