次の基本定理によって、排中律は成り立ちえないことが分かる(再び滑らかな無限小解析の文脈の中で理解するものとする):