Yong Cheng is currently a professor in the School of Philosophy at Wuhan University in China. He received his PhD in Mathematics (Logic) from the National University of Singapore in 2012. From 2013 to 2014, he was a postdoctoral fellow at the Institute for Mathematical Logic and Foundational Research at the University of Münster's Department of Mathematics and Computer Science in Germany. His research interests centre on the intersection of logic—particularly the incompleteness phenomenon, foundations of mathematics, and philosophy of mathematics—with the philosophy of science, encompassing philosophy of logic and philosophy of computation. His recent research focuses on the logical, foundational, and philosophical study of the incompleteness phenomenon as revealed in Gödel's incompleteness theorems. He is the author of Incompleteness for Higher-Order Arithmetic: An Example Based on Harrington's Principle (Springer, 2019) and of the forthcoming Gödel's Theorems and Beyond: The Landscape of Incompleteness (Synthese Library series, Springer).