Title: On the metamathematics of algebra
Subjects: Metamathematics, Abstract Algebra