4 ms·
The most wonderful thing about mathematics (and by extension logic) is that we don't have to give a shit what random people like yourself want to guess on the i
by unanswered 6y ago
The most wonderful thing about mathematics (and by extension logic) is that we don't have to give a shit what random people like yourself want to guess on the internet. We have actual proof checkers. They can show the correctness of proof terms for exfalso from more basic, more obviously correct principles. Those proof terms can't be "dismantled"; they're proved correct no matter how much you whine that you don't like them.