Lindenbaumologia I: A teoria geral

Resumo

Apresentamos uma abordagem geral da demonstração de compleaide de cálculos lógicos abstratos por meio da noção de valoração e de um resultado devido a A. Lindenbaum.