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...
Spremljeno u:
| Glavni autor: | |
|---|---|
| Format: | Article ou chapitre numérique |
| Jezik: | Français |
| Izdano: |
2022
|
| Online pristup: | Accès Université d'Orléans et IFPM |