This is a linkpost for http://alexmennen.com/index.php/2017/09/22/metamathematics-and-probability/