Text this: Incompleteness for Higher-Order Arithmetic