Auch Ramsey's Erklärung der Unendlichkeit ist aus eben diesem Grunde unsinnig, denn “(n):(nx).Fx” würde die tatsächliche Unendlichkeit als gegeben voraussetzen und nicht bloß die unbegrenzte Möglichkeit des Fortschreitens.