Érdekesség: Van egy magyar származású kanadai matematikus (Makkai Mihály), aki a sztenderd logikának és halmazelméletnek nagyon komoly és elismert szakértője, mégis a matematika megalapozásának ZFC helyett egy teljesen újfajta kategóriaelméleti toposzelméleti megközelítését dolgozta ki. Van is ebből könyve, de állítólag még halmazelmélet-logika szaktereületű kutatóknak is egy nehéz olvasmány.