theorem of the excluded third - French English Dictionary