Perhaps a higher-order theory of the ordinals is better than ZFC for the mathematical foundations of computer science. For example, see the following: https:/

Perhaps a higher-order theory of the ordinals is better than ZFC for the mathematical foundations of computer science. For example, see the following: https://papers.ssrn.com/sol3/papers.cfm?abstract_id=3457802 https://papers.ssrn.com/sol3/papers.cfm?abstract_id=3457802