Metadata
Author: WikiMatrix
Data
French[fr]
Gödel a essentiellement bâti « une formule qui énonce qu'elle n'est pas démontrable » dans un système formel donné.
Dutch[nl]
In wezen construeerde Gödel een formule die stelt dat zij in een gegeven formeel systeem onbewijsbaar is.