Գրեք սա: Mathematical logic.