Man könnte sagen: alle möglichen Spielstellungen im Schach können als Sätze aufgefaßt werden, die sagen, sie (selbst) seien mögliche Spielstellungen. Oder || ; oder 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.