+++ title = "Pernicious numbers" description = "" date = 2019-09-10T18:35:58Z aliases = [] [extra] id = 17363 task = """ A pernicious number is a positive integer ...

The recent discussion about the consistency of arithmetic made me want to brush up on my logic. I’d like to learn a bit about axioms for arithmetic that are weaker than Peano arithmetic. The most ...