Text this: Mathematical logic and formalized theories :