Logique, théorie des ensembles, applications