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

I

impp(BigInteger, BigInteger) - Method in class godel.Godel3

#A ⇒ #B

Ind() - Method in class godel.Godel2

Induction: WF(0) ⇒((∀V (WF(V) ⇒ WF(V'))) ⇒ ∀V WF(V)) * Gets a variable and a formula

init() - Method in class godel.godel1

Set up applet

init() - Method in class godel.Godel2

Set up applet

init() - Method in class godel.Godel3

Initalise applet

IntAx - Variable in class godel.Godel2

Godel numbers of integer axioms

InvInp - Variable in class godel.godel1

Thrown if text input is not valid

InvInp - Variable in class godel.Godel3

General compilation error

iseq(BigInteger, BigInteger) - Method in class godel.Godel3

Code for #t1=#t2

itype - Variable in class godel.Godel3

Type of current item