排中律是反证法的前提，即P与┐P一定且只能有一个成立，我可以通过证否┐P来间接证明P。
直觉主义认为只能正向构造证明，不能通过否定否命题来证明原命题，因为他们认为这个证明过程中不涉及P中的任何例子，你不能不提任何P的事情而证明P，所以他们直接把反证法ban了，也就否定排中律了

想要证明某物存在就必须指明它在哪，这要求多合理。我以前也坚信排中率和选择公理，现在越想越觉着这俩不合理。