This is an attempt by User:TrialPurpleCube to surpass Void's Field Limits.
Definition[]
We can think of Q[0] to be the limit of all true human understanding; past this point we cannot truly understand what happens. This is equivalent to Thoughtlock. Past this point things are not concepts, as anything that is real or unreal could not understand or reason about them; everything past this point is uncertain. Q[1] is limit of the first field beyond thought, Q[2] is the limit of the second field beyond, and so on. Q[1,0] is the limit of the second level of understanding, Q[2,0] the third, and so on. Q[1,0,0] is the limit of every tier of understanding that is understandable by itself. And continue on, reaching Q[1,0,0,0], Q[1(1)0], Q[εX+1] where X denotes the diagonalizer of the arrays,[1] Q[ωX+1], Q[ΩX+1], Q[???[X+1]], Q[X2] - at this point the things applied on X are ununderstandable, Q[Xω] and so on... I don't know exactly when we surpass Q[XXX...] which, then again, is not the limit but I suppose we will know (or maybe not, since it is all very... nebulous. I may try again in the near future.)
Let X{1} be the least "structure" of X (past the XX, X-I(1,0), X(1,0), stationary on X, Π20 on X, even X on X, ...) that cannot be conceived of. Then X{2} is the same with X{1}, then X{3}, X{4}, and so on. Now we can have X{ω}, X{1,0} = X{Y}, X{Yω}, X{Y2}, and so on... Then do the same with Y, to create Z. Now Y = X[1], Z = X[2] and so on. Of course then X[1,0], and then the X[0][1] for its diagonalizer... I define the Ultimate Thought Limit (U.T.L.) to be the limit of the first field that cannot be reached with Q[any extension of X], like Q[X{Y}], Q[X[ω]], Q[X[1][0]], Q[X[1](1)[0]], Q[X<εJ+1>] (where J is the diagonalizer of all the bracket stuff,[2]) Q[X<J{2}>], or even higher.
- ↑ Therefore Q[a,b] = Q[X×a+b], Q[a,b,c] = Q[X2×a+X×b+c], and so on; Q[1(1)0] = Q[Xω], and Q[1(1,0)0] = Q[XX], the point at which the amount of zeros before that one is itself inconceiveable. Q[1(1(...)0)0] = Q[εX+1].
- ↑ So X<0> = X, X<1> = X[1], X<2> = X[2], X<J> = X[1][0], X<J×a+b> = X[a][b], X<Jω> = X[1](1)[0], X<JJ> = X[1]([1][0])[0], and so on...