Plural Frege Arithmetic
Dans [Boccuni 2010], un fragment prédicatif du blv de Frege augmenté de la quantification plurielle illimitée de Boolos interprète pa2. Le principal inconvénient de cette axiomatisation est qu’elle ne récupère pas Frege Arithmetic ( fa), en raison des restrictions imposées aux axiomes. Le but du p...
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Article ou chapitre numérique |
| Langue: | Français |
| Publié: |
2022
|
| Accès en ligne: | Accès Université d'Orléans et IFPM |