[sukilot]

The Coq community is here to say that that claim is not true for most of math. Much false or weakly argued math is published and accepted. Mathematics is done only to the level of "reasonable doubt"