tokens: Dieser Beweis hat gegenüber Gödels Beweis den Vorteil , dass auf die Verwendung des syntaktischen Ableitbarkeitsbegriffs ( siehe Prädikatenlogik erster Stufe ) und den Vollständigkeitssatz verzichtet werden kann .