October 30, 2016EducationNeste episódio apresento alguns conceitos da Metamatemática - o estudo de linguagens e sistemas formais.