If you squander also substantially time on this, it may possibly be a proof that the internet site admins really do not treatment much about the system status. Description: Preprint of the short article "A Finitely Axiomatized Formalization of Predicate Calculus with Equality," which delivers the theoretical foundation for Metamath and is referenced on the Metamath Proof Explorer pages.