Section 5.2

The Completeness Criterion (Post's Theorem)