Пуанкар был энергичным противником теории о том, что вся математика может быть переписана с точки зрения самых элементарных представлений о классической логике; Он полагал, что нечто большее, чем логика, делает математику тем, чем это такое.