On discute de la quête du fondement en mathématiques, et des différentes initiatives qui tentent de répondre à ce problème.

Retrouvez tout le contenu sur : http://www.principia-informatica.fr/