Email Record: Mathematical logic and formalized theories :