Hacker News new | ask | show | jobs
by lanstin 479 days ago
Asuuming said formal system incorporates Peano arithmetic.