如何解释排中律作为公理的合法性?