https://jurnalpublikasi.com/zh/纽曼–彭罗斯形式体系