FOM2022 Foundation of Mathematics (August 2022)