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

Hacker News new | past | comments | ask | show | jobs | submit

login

initramfs2 18 days 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 18 days ago [–]

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

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