Concept of Zero Formalized