Esta tese inicia o estudo das funções de primeira ordem, que são uma generalização das funções de verdade. Os conceitos de tabela de verdade e de sistema de funções de verdade, ambos introduzidos na lógica proposicional por Emil Post, são também generalizados e estudados no caso quantificacional. O tema central desta tese é a relação de definição entre noções expressas por fórmulas da lógica de primeira ordem.

not available