Orginally the law of excluded middle must be composed at contradiction. Because probably mathematics could have been convinced to that no...

https://lovelyhelen.muragon.com/entry/2125.html