How does one write down those axioms? | Hacker News

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

		Bromskloss on May 4, 2018 \| parent \| context \| favorite \| on: The 8000th Busy Beaver number eludes ZF set theory... How does one write down those axioms?

roywiggins on May 4, 2018 [–]

Well there's Euclid's, but the famous modern one is Hilbert's. https://en.m.wikipedia.org/wiki/Hilbert%27s_axioms?wprov=sfl...

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