discussion:hi:mathematical_logic