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 10 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 10 months ago [–]

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

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