# Chapter III The Theorem of Infinity and Related Results

- Identifiers
- DOI: 10.1016/s0049-237x(08)71171-6
- Disciplines

## Abstract

Publisher Summary This chapter discusses the theorem of infinity. The chapter investigates the consequences of those aspects of Q that distinguish it from the usual systems of type theory with λ-conversion—namely, the presence of type variables and transfinite types. The finite cardinals for natural numbers are discussed. In the system Q—as in systems of type theory with descriptions generally—it is possible to represent primitive recursive properties by propositional functions—that is, functions that take truth values as values.

## There are no comments yet on this publication. Be the first to share your thoughts.