Thoralf Skolem

Érudition. En arrivant : pioche une carte.

théorème selon lequel si un ensemble de formules admet un modèle infini, alors il admet un modèle de n’importe quelle cardinalité infinie supérieure ou égale au cardinal du langage et de l’ensemble de formules

Érudition. En arrivant : pioche une carte.

une conséquence troublante du théorème de Löwenheim-Skolem, qu’une théorie des ensembles, si elle a un modèle, a un modèle dénombrable, bien que l’on puisse définir une formule qui exprime l’existence d’ensembles non dénombrables

Rempart. +1 par carte adverse sur ce territoire.

pays d'Europe du Nord

Érudition. En arrivant : pioche une carte.

Érudition. En arrivant : pioche une carte.

Érudition. En arrivant : pioche une carte.

Réseau. +1 par autre carte alliée en jeu (maximum +4).

université norvégienne