2020-09-23 14:19:38+00:00 @dd4ta "Mathematics with a metamathematical flavour" by @wtgowers dpmms.cam.ac.uk/~wtg10/metamat…