It is the business of philosophy, not to resolve a contradiction by means of a mathematical or logico mathematical discovery, but to make it possible for us to get a clear view of the state of mathematics that troubles us: the state of affairs before the contradiction is resolved.