Incompleteness for Higher-Order Arithmeticby Yong ChengWriting a summary for young readers…For young readersBook data: Open Library