GROUP III: Axioms of Congruence

• GROUP III: Axioms of Congruence

  • largely self evident, fixes the problems with superposition
  • note: Hilbert didn’t like the transformational or functional approach to fixing superposition…it has, however, become accepted and we’ll look at it

Previous slide

Next slide

Back to first slide

View graphic version