Um espaço dedicado especialmente à Lógica Matemática, à Teoria dos Conjuntos, à Teoria dos Números e aos temas filosóficos.