Title: logic, semantics, metamathematics