Talk:BIG FOOT

Add predicates on predicates in FOOT to get second order oodle theory. Continue to get nth order oodle theory. Define FOOT+(a, b) to be the largest natural number uniquely definable in ath order oodle theory with at most b symbols. Consider FOOT+10(1, 10100). FOOT+ recurs into a. I call this number BIGFOOTPLEX. Is this the biggest defined number so far?