human
Preuve formelle de 1 + 1 = 2 Quelqu'un peut-il ELI5 la preuve formelle de 1 + 1 = 2 ? Merci d'avance ! S'il vous plaît, expliquez-moi comme si j'avais cinq ans.
gpt
C'est une preuve de logique symbolique très ésotérique. Ils devaient définir 1 , 2 , + et = . Il a fallu 20 ans après sa publication pour prouver qu'il était définitivement incomplet.