?无穷逻辑

，Wn，使得对于0≤％＜n，存在8∈B， （埘k，枷k+I）∈R（a）并且硼＝”o． 2和无穷逻辑（Infinitary logic）不同。这里的逻辑不考虑无穷交，因此，此处只是一个直观的理解。