Z规格说明中初始状态存在性的证明

摘要

Ｚ规格说明中的初始化定量的证明是对基于状态的规格说明的一个标准的检查，本文给出了一个证明初始化定理的过程，该过程可自动地构成证明的证据，作为实例，我们该过程证明了两个初始化定理。