Meta-mathematics

1. G"del's Incompleteness Theorem: Predictive Thought Unpacked