Bonjour,
une petite question d'universitaire, si quelqu'un connaissait la réponse:
Gödel a-t-il fait une parution contenant une version personnelle de formalisation de la théorie des ensemble? Ce serait dans les années 40. Dans ce cas, aurait-il les références de cet article/livre/parution/plaquette etc.
Merci
PS si un modérateur préfère me placer ça en math, je n'y vois pas d'inconvénient. J'ai placé ça ici puisque c'est éminemment de la logique.
-----