philosophical principle that, for any proposition in which the actual infinity occurs, there exists a finitary proposition that entails it immediately