Logika matematyczna, teoria mnogości i podstawy matematyki

It is by logic that we prove, but by intuition that we discover.

HENRI POINCARÉ