I will assume by likelihood you meant probability. I think you have removed by concern by conditioning on it. The theorem has probability 1, in your formal system. For me that is not probability 1, I don’t give any formal system full control of my beliefs/​probabilities.
Of course, I believe arithmetic with probability approaching 1. For now.
I will assume by likelihood you meant probability. I think you have removed by concern by conditioning on it. The theorem has probability 1, in your formal system. For me that is not probability 1, I don’t give any formal system full control of my beliefs/​probabilities.
Of course, I believe arithmetic with probability approaching 1. For now.