A B C D E F G H I J K L M N O P R S T U V W Y Z

Z

Z0 - Variable in class godel.Godel3

coded form of first variable (x)

z0 - Variable in class godel.Godel3

int form of first variable (x)

ZERO - Variable in class godel.Godel3

Zf - Variable in class godel.Godel3.Funinfo

∃ Nf x<Nf ⇒ f(x)=&beta(Yf,Zf,x)