Hello.i need a definition of:
-first uncountable ordinal
-Mahlo cardinal (M)
-weakly compact cardinal
-the absolute infinity ​