Bloch's principle
Bloch's principle is a philosophical principle in mathematics stated by André Bloch. Bloch states the principle in Latin as: Nihil est in infinito quod non prius fuerit in finito, and explains this as follows: Every proposition in whose statement the actual infinity occurs can be always considered a consequence, almost immediate, of a proposition where it does not occur, a proposition in finite terms.