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