An Introduction to Metalogic