https://1library.org/document/nzw1k37q-rejeicao-principio-terceiro-excluido-suas-consequencias-aritmetica-heyting.html