True propositions of sets are those that hold in the up to unique isomorphism mo... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

ProfHewitt on Dec 17, 2019 | parent | context | favorite | on: Kurt Gödel and the Mechanization of Mathematics

True propositions of sets are those that hold in the up to unique isomorphism model of the theory Ordinals defined here:

https://papers.ssrn.com/sol3/papers.cfm?abstract_id=3457802

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact