File:MathFoundations185 The essential dichotomy underlying mathematics