4 ms·Asuuming said formal system incorporates Peano arithmetic.by lanstin 2y agoAsuuming said formal system incorporates Peano arithmetic.