The End of Logic
The End of Logic traces the philosophers who challenged our assumption that language and logic is a consistent system. The final blow was an inside job. Kurt Gödel, himself a mathematician, proves that: If a system is consistent, it cannot be complete. The consistency of axioms cannot be proved within their own system.