1. 全部分類 中搜尋 “law (or principle) of the excluded middle”