Text this: A new perspective on completeness and finitist consistency.