Changes

Formalismos dedutivos (view source)

146 bytes added , 20:48, 15 October 2020

== Links externos ==

* [http://pt.wikipedia.org/wiki/Sistema_dedutivo Sistema dedutivo]

* [http://pt.wikipedia.org/wiki/Regra_de_infer%C3%AAncia Regra de inferência]

* [https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems Teoremas de Incompletabilidade de Gödel]

111

edits