This page moved to /writing/twn/posts/2022-10-a-crash-course-on-mathematical-logic.html.