x
Metamathematics and probability — LessWrong