Trabalho

Estou conseguindo trabalhar (εργασια) bastante por aqui. Estou terminando um trabalho que comecei no Brasil e começando um com o Giorgos (Γιοργος). O Giorgos me ensinou a usar um esquema de representar conjuntos de sentenças como nós em um grafo direcionado. Caramba como é útil isso. Queria ter aprendido isso antes. Com esse recurso conseguimos mostrar que os postulados que estamos estudando não são equivalentes. O que é uma pena, mas já é um começo