theorem of the excluded third - Turkish English Dictionary