Metamathematics and probability

Link post