Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
Dylan16807
on Nov 3, 2023
|
parent
|
context
|
favorite
| on:
The 8000th Busy Beaver number eludes ZF set theory...
Consistent means that it doesn't contradict itself. Peano is consistent within Peano. The system that checks if Peano is consistent doesn't have to be similar at all or share any axioms.
Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
