Ultrafinitism

In the philosophy of mathematics, ultrafinitism, also known as ultraintuitionism, strict-finitism, actualism, and strong-finitism is a form of finitism. There are various philosophies of mathematics which are called ultrafinitism. A major identifying property common between most of these philosophies is their denial of totality of number theoretic functions like exponentiation over natural numbers.