contradiction en mathématiques