On peut déclarer abruptement que chaque énoncé constituant chaque démonstration du portail math n'est ni important ni original, et, pour chaque énoncé, laisser la charge de la preuve du contraire au contradicteur. On pourrait discuter de ce qu'une vérité mathématique est un fait (fait d'armes, fait historique) : estce qu'une vérité préexistante à l'espèce humaine ou à notre planète est un fait ?