Title: Logic, semantics, metamathematics