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...
Spremljeno u:
| Glavni autori: | , |
|---|---|
| Format: | Artigo |
| Jezik: | Inglês |
| Izdano: |
MDPI AG
2021-10-01
|
| Serija: | Axioms |
| Teme: | |
| Online pristup: | https://www.mdpi.com/2075-1680/10/4/263 |
| Oznake: |
Bez oznaka, Budi prvi tko označuje ovaj zapis!
|