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

A

actionPerformed(ActionEvent) - Method in class godel.godel1
react to up and down buttons, and binary and text-wrap checkbox changes
actionPerformed(ActionEvent) - Method in class godel.Godel2
respond to down button or change of proof number radix
actionPerformed(ActionEvent) - Method in class godel.Godel3
responds to button press
actionPerformed(ActionEvent) - Method in class godel.Num3
 
addcond(BigInteger) - Method in class godel.Godel3
Add a condition to the list
Ax1() - Method in class godel.Godel2
Axiom 1: WF1⇒(WF2⇒WF1) Gets two formulae
Ax2() - Method in class godel.Godel2
Axiom 2: (WF1⇒(WF2⇒WF3))⇒((WF1⇒WF2)⇒(WF1⇒WF3)) Gets three formulae
Ax3() - Method in class godel.Godel2
Axiom 3 (¬WF2⇒¬WF1)⇒((¬WF2⇒WF1)⇒WF2) Gets two formulae
Ax4() - Method in class godel.Godel2
Axiom 4:∀V WF(V)⇒WF(T) (T is a term free for V in WF) Gets a variable, a term and a formula
Ax5() - Method in class godel.Godel2
Axiom 5: ∀V(WF1⇒WF2)⇒(WF1⇒∀V WF2) (WF1 has no free occurence of V) Gets a variable and two formulae

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