[Bug 1333962] Review Request: metamath - Construct mathematics from basic axioms