Citát: Práce matematika nespočívá v provádění nějakých předepsaných úkonů, ale v poznávání neznámého. V objevování pomocí dedukce z axiomů. (prof. Petr Hájek)