Axiome de l'ultrafiltre, axiome du choix dépendant, axiome du choix dénombrable...

La majeure partie de la vidéo est consacrée à une introduction à la notion de filtre et ultrafiltre, suivie d'un énoncé de l'axiome de l'ultrafiltre; on discute aussi brièvement l'axiome du choix dépendant et l'axiome du choix dénombrable.