Formalizations and Models of a Basic Theory for the Foundations of Mathematics