De Morgan's laws
形式体系に依り、定理であることが多いが、公理として要請される場合もある（詳細は後述: 例として、#ド・モルガンの法則と無限）。