摘要: Brouwer had to defend himself on three fronts: the Formalism-Intuitionism conflict, War of frogs and mice, The Menger dimension conflict. mice is extensively discussed, since it brought in fact end foundational conflict deals with priority for definition.