In this work we have to deal with the axiomatization of cosmology, but it is only recently that we have hit upon a new mathematical approach to capitalize on our new set identities for the basic laws of cosmology. So our proposal of settlement is that we will propose some new laws (e.g., formation of the black hole). We introduce the concept of axiom cosmology. This principle describes the cosmology which can get freedom from the notion of the induction. We present a large-scale structure model of the universe, and this leads to successfully explanation of problem of closed universe or open universe (because from the outset it is theorem and its succinct proof). In this paper we prove that the non-singular point theorem means that a singularity cannot be mathematically defined nor physical. It allows us to overcome the mysterious, physical singularity conundrum and explain meaningful antimatter annihilations for general configurations.