ECS 220 6c:7.2-3 Gödel’s Incompleteness Theorem (soundness)

From David Doty