Discrete Mathematics/Godel's incompleteness theorem
<
Discrete Mathematics
There's no mathematical system with consistent axiom.