Une numérotation de Gödel peut être interprétée comme un encodingA, l'utilisation antérieure d'un tel codage peut être trouvée, par exemple, dans Ludwig Wittgenstein -LRB- / O1921 / O-RRB-, dans la proposition 5.101 de Tractatus Logico-Philosophicus.
A, B vdash _ r C,