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

From David Doty