关于逆合对应的一个问题

本文给出良完备格及刻划,建立了两种良归纳法,在良完备格的情况下解决了逆合对应的一个公开问题。