{ "id": "1503.01406", "version": "v1", "published": "2015-03-04T18:24:54.000Z", "updated": "2015-03-04T18:24:54.000Z", "title": "NF is Consistent", "authors": [ "M. Randall Holmes" ], "comment": "The latest version of this document is always visible on my home page math.boisestate.edu/~holmes and it will be updated there more often then here", "categories": [ "math.LO" ], "abstract": "This is a draft of my claimed proof that Quine's set theory New Foundations is consistent.", "revisions": [ { "version": "v1", "updated": "2015-03-04T18:24:54.000Z" } ], "analyses": { "keywords": [ "consistent", "quines set theory", "claimed proof" ], "note": { "typesetting": "TeX", "pages": 0, "language": "en", "license": "arXiv", "status": "editable", "adsabs": "2015arXiv150301406H" } } }