Metamathematics and the Independence of Events