treatise on formally undecideable propositions (the math song)

there exists a rigid system of axiomatic thinking. in this framework, truth is just logical deduction.

however such a creation is necessarily incomplete, for certain statements are unprovable within the system.

when one comes across such situations where logic fails and no postponement will lead to conclusion,

chances are the answer is already known.

(This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 2.5 License.)