Metamathematics - innbundet, Engelsk, 2022