Title: Philosophical arithmetic