"One should remember that mathematical logic itself or the study of mathematics as a formal system can be considered a branch of combinatorial analysis. Metamathematics introduces a class of games—"solitaires"—to be played with symbols according to formal rules. One sense of Gödel's theorem is that some properties of these games can be ascertained only by playing them."