Abstract Axiomatic System Problem - Proving a number of undefined term

Printable View