ELI5: Exploring Gödel's Completeness Theorem