Some mathematicians look for a way to be sure that a contradiction will never arise whatever the developments.
Adib Ben Jebara.