The theory of PM has both significant similarities, and similar differences, to a contemporary formal theory.
PM理论既有相似之处显著，以及类似的差异，当代形式理论。