just the zfc axioms alone are already infinite. It's an axiom schema ranging ove... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		initramfs2 9 months ago \| parent \| context \| favorite \| on: What does the end of mathematics look like? just the zfc axioms alone are already infinite. It's an axiom schema ranging over an infinite number of actual statements. That's just statements, without even considering symbols as you're saying.

bananaflag 9 months ago [–]

Well you can just put the nbg instead, which is finitely axiomatizable

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