Teoremoj de nekompleteco: Malsamoj inter versioj

[kontrolita revizio][kontrolita revizio]
Enhavo forigita Enhavo aldonita
Addbot (diskuto | kontribuoj)
e Roboto: Forigo de 36 interlingvaj ligiloj, kiuj nun disponeblas per Vikidatumoj (d:q200787)
Addbot (diskuto | kontribuoj)
e Roboto: Forigo de 1 interlingvaj ligiloj, kiuj nun disponeblas per Vikidatumoj (d:q200787)
Linio 9:
 
[[Kategorio:Matematikaj teoremoj]]
 
[[sv:Gödels ofullständighetssatser]]