Les idées de Wittgenstein sur la non-contradiction et sur le caractère des propositions mathématiques