It is not the case that Holmes's 2024 consistency proof of NF relative to ZFC relies on complex machinery that shifts, rather than eliminates, the foundational burden onto ZFC's own infinite ontology.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.