Some Axioms for Mathematics.

Frdric Blanqui, Gilles Dowek, milie Grienenberger, Gabriel Hondet, Franois Thir

Browse the full FSCD paper archive.