la:discussion:hi:mathematical_logic