R. erklärt „es gibt unendlich viele x die φx befriedigen” so: „Alle Sätze (∃1x) φx, (∃2x) φx, (∃3x) φx etc sind wahr”. D.h., wenn φx für jede endliche Zahl von x wahr ist, dann ist es für unendlich viele x wahr.