2.形式理论的六个问题