2 ms·You would just prove that it is equivalent to a simple specification of the axiomatic system.by dooglius 7y agoYou would just prove that it is equivalent to a simple specification of the axiomatic system.