mathématiques classiques

science approche traditionnelle des mathématiques, qui est basée sur la logique classique et la théorie des ensembles ZFC