Discrete Mathematics/Godel's incompleteness theorem

There's no mathematical system with consistent axiom.