Changes

Formalismos dedutivos (view source)

2 bytes removed , 16:37, 12 September 2020

m

no edit summary

== Links externos ==

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

525

edits