Matematické Fórum

Myslím, že jsem volil takovouto definici: Podstatné je právě takový matematický obor, který, pokud chce člověk investovat minimum času do matematiky ale zároveň se co nejvíce o matematice dozvědět. Minimem času myslím prostě ze všech možností minimální čas (tj. jen relativně vůči ostatním, v absolutní měřítku to celkem čas bude). Většina matematiky je speciálním případem teorie množin a výrokové a predikátové logiky.

Není to pak něco jako kdyby se člověk zajímal o fyziku a přitom se nic nedozvěděl třeba o chemii? (Jistě kdyby hypoteticky detailně člověk pochopil veškerou fyziku (kterou dnes nechápeme do té míry, že by z ní třeba některé složité chemické reakce vyplývaly), jistě by mu z toho vyplynuly všechny fakta ostatních věd.) Sice většina matematiky je formalizovatelná (?) v rámci teorie množin, ale některé věci jednoduše neobjeví, protože již jsou příliš vzdáleny od množin (byť v principu to pořád teorie množin je).