Kann ein algebraischer Satz nicht durch die arithmetischen Schritte (im arithmetisch geschriebenen Kalkül) bewiesen werden, dann auch nicht durch Skolems Schritte, denn das sind in Wirklichkeit arithmetische Schritte.