Principle of the excluded middle

Summary