3 ms·
The technical answer to your question is yes, another axiomatic system can exist that is able to prove that Peano is inconsistent. However, assuming that ZF is
by Kranar 3y ago
The technical answer to your question is yes, another axiomatic system can exist that is able to prove that Peano is inconsistent.
However, assuming that ZF is consistent, then that other axiomatic system would have to be inconsistent.