Programs are defined by their constitutive aims, not their methods. Logicism's aim was deriving arit...
This proposition has not been edited since the history system was added.