façon
|
l'ensemble des énoncés universellement valides du calcul des prédicats du premier ordre est-il décidable
|
en:collectively
|
Astronomie
|
en public
|
en:totes
|
en:globally
|
en:internationally
|
en:communally
|