Contents
Front
Foundation
Preliminary Notions
Ordered Pairs
Functions
Conditionals
Typed Set Theory
Binary Relations on a Set
More about Functions
The Foundation Axiom
Omega and Peano
Transitive Sets
Ordinals
Javascript Interactive Higher-Order Theorem Prover
Contact Person
Chad E Brown
Previous
Next
Binary Relations on a Set
Definition
Theorem
Definition
Theorem
Definition
Definition
Definition
Definition
Definition
Definition
Theorem
Theorem
Theorem
Theorem
Theorem
Definition
Theorem
Theorem
Theorem
Definition
Theorem
Theorem
Theorem
Theorem
Theorem
Theorem
Theorem
Theorem
Theorem
Theorem
Theorem
Second Wizard of Oz Examples