Finite Arithmetic Axiomatization for the Basis of Hyperrational Non-Standard Analysis
The standard elementary number theory is not a finite axiomatic system due to the presence of the induction axiom scheme. Absence of a finite axiomatic system is not an obstacle for most tasks, but may be considered as imperfect since the induction is strongly associated with the presence of set the...
Gardado en:
| Principais autores: | , |
|---|---|
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado: |
MDPI AG
2021-10-01
|
| Series: | Axioms |
| Assuntos: | |
| Acceso en liña: | https://www.mdpi.com/2075-1680/10/4/263 |
| Tags: |
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|