Last times problem.
Is Math. a game? Argument against it. “The Theory of the game is not arbitrary although the game is.” The theory of the game as pure math. & physics. Can we say that the fact that you can't mate with … rests on certain physical & certain math.^l facts? Can we say that the possibility of proving so & so in such & such a

Ms-161,15v

way rests on a mathematical, logical, fact? Great temptations. This is, of course, restating our old problem.
Suppose we said: it never happens that A mates B with …. This should be the more modest way prop. But what does it mean? But couldn't we say: it never happens that we say A … B …? Certainly & this is a very important fact

Ms-161,16r

but based on what? So now is the theory of the game arbitrary?
“I believe that G's theorem will come true”. How is this belief in the end verified? By a proof. By any proof? No. By this particular proof? No. By a something we shall recognize as a proof. But isn't the fact that such & such a proof is possible based on a mathema-

Ms-161,16v

tical fact, a math. reality? I mean the fact that there is a proof ˇat least somewhere near in the region we still recognize as that of proofs? The math. fact being that such & such a structure is possible. That it is imaginable. How do we imagine this possibility? What is a structure like which is impossible. Possible = describable

Ms-161,17r

(2015–) Wittgenstein Source Bergen Nachlass Edition (WS-BNE). Edited by the Wittgenstein Archives at the University of Bergen under the direction of Alois Pichler. In: Wittgenstein Source, curated by Alois Pichler (2009–) and Joseph Wang-Kathrein (2020–). (N) Bergen: WAB.