Metalogic: Incompleteness and undecidability, 7.5 credits