Department of Mathematics, Faculty of Science, Cairo University, Giza 12613, Egypt. (email)
The aim of this paper is to provide a metamathematical investigation of the theory of intervals with the requisite predicate calculi and axiomatic set theory.
