3 ms·

It's just not what the word axiom means nor how anyone uses it. An axiom is unprovable by definition - is it a thing we accept to be true because it is useful t

by zkldi 10mo ago

It's just not what the word axiom means nor how anyone uses it. An axiom is unprovable by definition - is it a thing we accept to be true because it is useful to do so (e.g. there exists an empty set) "Provably Correct Axiom" is nonsense. An axiom is unprovable. Just "provably correct" would've been fine. This chess stuff is hilariously pretentious.

deleted 10mo ago
[deleted]
ModernMech 10mo ago
It's grok-level cringe is what it is.
AdieuToLogic 10mo ago
> Just "provably correct" would've been fine. This chess stuff is hilariously pretentious. Apparently a bit of humour when responding to a self-identified pedantic response didn't come across as I thought it would. Lesson learned.