- [[De Morgan's Law]] - [[Godel's Incompleteness Theorems]] - [[Cantor Schroder Bernstein Theorem]]