La seule exception importante dans la pratique est l'axiome de choix -- à moins d'étudier cet axiome en particulier, la majorité des chercheurs ne s'inquiètent généralement pas de savoir si un résultat nécessite l'axiome de choix.
Dans ce cas, si une preuve utilise cette affirmation, les chercheurs chercheront souvent une nouvelle preuve qui n'exige pas l'hypothèse. La seule exception importante en pratique est l'axiome de choix -- à moins d'étudier cet axiome en particulier, la majorité des chercheurs ne s'inquiètent généralement pas de savoir si un résultat nécessite l'axiome de choix.