Neste episódio apresento alguns conceitos da Metamatemática - o estudo de linguagens e sistemas formais.