Número de Gödel: diferenças entre revisões

Conteúdo apagado Conteúdo adicionado
Luckas-bot (discussão | contribs)
m Bot: Modificando: en:Gödel numbering
Linha 79:
[[ca:Nombre de Gödel]]
[[de:Gödelnummer]]
[[en:Gödel numbernumbering]]
[[es:Numeración de Gödel]]
[[it:Numero di Gödel]]
[[nl:Gödelnummer]]
[[ja:ゲーデル数]]
[[nl:Gödelnummer]]
[[simple:Gödel number]]
[[sl:Gödlovo število]]
[[zh-yue:Gödel號數]]
[[zh:哥德尔数]]
[[zh-yue:Gödel號數]]