---
up:
  - "[[M1 LOGOS]]"
tags:
aliases:
---

%% cours 1 %%
> [!info] idée du cours
> Tout définir rigoureusement, montrer des définitions et résultats
>  - usage de la notation mathématique
>  - les résultats seront démontrés

- introduction à la notation mathématique ensembliste
    - $a \in E, \mathscr{P}(E), A \subseteq E, \forall x \in A\, x \in E$
    - [[entiers de von Neumann]]