Chinese research on mathematical logic and the foundations of mathematics