Abstract
This work analyses some relationship between predicative systems and second order Peano arithmetic
| Titolo tradotto del contributo | [Autom. eng. transl.] A note on the categorical nature of arithmetic |
|---|---|
| Lingua originale | Italian |
| Titolo della pubblicazione ospite | Scienze fisiche e matematiche. Istanze epistemologiche e ontologiche |
| Editor | ROBERTO PRESILLA, Sergio Rondinara |
| Pagine | 89-100 |
| Numero di pagine | 12 |
| Stato di pubblicazione | Pubblicato - 2007 |
Keywords
- Categoricity
- Categoricità
- Filosofia della matematica
- Philosophy of Mathematics
- Predicativism
- Predicativismo