It is quite easy to prove consistent the theory ZFC and even a much powerful the... | 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

It is quite easy to prove consistent the theory ZFC and even a much powerful theory of the ordinals. See the following:

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

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