There is a newer version of the record available.

Published April 11, 2023 | Version 12
Book Restricted

First Principles of Mathematics

Authors/Creators

  • 1. United States

Description

This paper explains mathematics from first principles. Mathematical truth is characterized syntactically. The elements of mathematics are formalized in a type theory. We conclude the paper by examining its implications for the philosophy of mathematics. The exposition is logically self-contained. The reader is only expected to understand the English language and have the ability to recognize patterns.

Files

Restricted

The record is publicly accessible, but files are restricted to users with access.