Natural numbers in illative combinatory logic
In this paper we attempt to develop natural numbers using the second order predicate calculus and the three axioms also used to obtain the set theory of [3].
- Autores:
-
Bunder, M. W.
- Tipo de recurso:
- Article of journal
- Fecha de publicación:
- 1985
- Institución:
- Universidad Nacional de Colombia
- Repositorio:
- Universidad Nacional de Colombia
- Idioma:
- spa
- OAI Identifier:
- oai:repositorio.unal.edu.co:unal/48753
- Acceso en línea:
- https://repositorio.unal.edu.co/handle/unal/48753
http://bdigital.unal.edu.co/42210/
- Palabra clave:
- Natural numbers
predicate calculus
axioms
set theory
- Rights
- openAccess
- License
- Atribución-NoComercial 4.0 Internacional