Seth Herd answers Is Peano arithmetic trying to kill us? Do we care?