Syntax in Logic