Theories of modern physics predict that antimatter having rest mass will be attracted by the earth's gravitational field, but the actual coupling of antimatter with gravitation has not been established experimentally. The purpose of the present research was to identify laws of physics that would govern the universe if antimatter having rest mass would be repúlsed by the earth's gravitational field. As a result, a formalized axiomatic system was developed together with interpretation rules for the terms of the language: the intention is that every theorem of the system yields a true statement about physical reality. Seven non-logical axioms of this axiomatic system form the Elementary Process Theory (EPT): this is then a scheme of elementary principles describing the dynamics of individual processes taking place at supersmall scale. It is demonstrated how gravitational repulsion functions in the universe of the EPT, and some observed particles and processes have been formalized in the framework of the EPT. Incompatibility of Quantum Mechanics (QM) and General Relativity (GR) with the EPT is proven mathematically; to demonstrate applicability to real world problems to which neither QM nor GR applies, the EPT has been applied to a theory of the Planck era of the universe. The main conclusions are that a completely formalized framework for physics has been developed supporting the existence of gravitational repulsion and that the present results give rise to a potentially progressive research program.