/sci/ - Science & Math

>>15250612
As for ex falso, there a systems which don't adopt it, but 1. it falls out from other sensible logical principle, and 2. it's justified in arithmetic, where 0=1 in light of x+0=x implies you can prove equality for any two given numbers, proving all concrete equations.
Thirdly, or rather an expansion on 1, very weak logical axioms grant you that a contradiction prove every negation (in which case double negation elimination implies ex falso).
I say this as someone who's not eager to adopt ex falso. This is me steelmanning it.