# Theory of computation

## Consistency, Completeness

{% embed url="<https://www.youtube.com/watch?v=HeQX2HjkcNo>" %}