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

%% séance 1 (2026-01-12) %%

> [!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]]

 - topologie
     - [[boule ouverte]]
     - ! [[voisinage]] défini comme le fait de contenir une boule ouverte (de même centre que...)