Breves notas sobre a noção de estrutura para uma linguagem da LPO. Sem nenhuns detalhes, mencionou-se a definição de verdade de Tarski e a noção de consequência semântica em LPO. Enunciou-se o teorema da completude de Gödel e mencionou-se a indecidibilidade da LPO devida a Church.