Metamath Proof Explorer

Table of Contents - 21.42.6.9. _Begriffsschrift_ Chapter III Following in a sequence

means follows in the -sequence.

dffrege76 through frege98 develop this.

This will be shown to be the transitive closure of the relation . But more work needs to be done on transitive closure of relations before this is ready for Metamath.

  1. dffrege76
  2. frege77
  3. frege78
  4. frege79
  5. frege80
  6. frege81
  7. frege82
  8. frege83
  9. frege84
  10. frege85
  11. frege86
  12. frege87
  13. frege88
  14. frege89
  15. frege90
  16. frege91
  17. frege92
  18. frege93
  19. frege94
  20. frege95
  21. frege96
  22. frege97
  23. frege98