formula (mathematical logic)