Metamathematics - inbunden, Engelska, 2022