Elements
Logic
2015-10-02 v1
Abstract
The aim of this work is to show that contemporary mathematics, including Peano arithmetic, is inconsistent, to construct firm foundations for mathematics, and to begin building on these foundations.
Keywords
Cite
@article{arxiv.1510.00369,
title = {Elements},
author = {Edward Nelson},
journal= {arXiv preprint arXiv:1510.00369},
year = {2015}
}
Comments
With an Introduction by Sarah Jones Nelson and an Afterword by Sam Buss and Terence Tao. 53 pages