3 ms·basically you want consistent system embedding formal proof of Peano arithmetic inconsistency.by VladRussian 15y agobasically you want consistent system embedding formal proof of Peano arithmetic inconsistency.