3 ms·
> Errr, I'm just assuming the axioms of ZFC. That's literally all I'm doing. ZFC (and its underlying classical logic) is precisely the problem here though
by nextaccountic 1y ago
> Errr, I'm just assuming the axioms of ZFC. That's literally all I'm doing.
ZFC (and its underlying classical logic) is precisely the problem here though