"Any "complete" mathematical system which includes at least arithmetic cannot be consistent ("small" systems can).
Adib Ben Jebara.