While published proofs (if correct) could in principle be formulated in terms of these games, the rules are certainly not substantial to the initial creation of those proofs.
Anche se le dimostrazioni pubblicate (quando sono corrette) in linea di principio potrebbero essere formulate in termini di successioni di stringhe via via inferite, le regole di inferenza certamente non hanno un ruolo sostanziale nella creazione iniziale di queste dimostrazioni.