05:26duration 5 minutes 26 seconds
ECS 220 6c:7.2-4 Gödel’s…
ECS 220 6c:7.2-4 Gödel’s Incompleteness Theorem (consistency)