Man könnte sagen: alle möglichen Spielstellungen im Schach können als Sätze aufgefaßt werden, die [S|s]agen, sie (selbst) seien mögliche Spielstellungen[. o|; O]der auch als Prophezeiungen: die Menschen werden diese Stellungen durch Züge erreichen können welche sie ˇübereinstimmend für den Regeln gemäß erklären. Eine so erhaltene Spielstellung ist dann ein bewiesener Satz, dieser Art.