"ackermann" -
related articles and key terms
Related terms:
logic
excluded middle
mathematical logic
Wikipedia sources:
Logic
High jump
Googolplex
David Hilbert
Context for words:
ackermann