| ▲ | Tainnor 3 days ago | |
Nobody has found a contradiction in (first or second order) ZFC in over a hundred years. You're out of your depth. | ||
| ▲ | llm_trw 3 days ago | parent [-] | |
>Nobody has found a contradiction in (first or second order) ZFC in over a hundred years. Yes, which is exactly why we have guardrails like ZFC in place. We got all sorts of exciting results without them. We of course have to keep adding axioms to ZFC - or replacing them all together - because there is a lot of math out there which is outside it's purview. >You're out of your depth. You're being incredibly abrasive for no reason. | ||