Metamathematics and probability — AI Alignment Forum