Metamath Proof Explorer


Table of Contents - 20.33.2.23. Adapted from Frege

Theorems inspired by Begriffsschrift without restricting form and content to closely parallel those in [Frege1879].

  1. frege77d
  2. frege81d
  3. frege83d
  4. frege96d
  5. frege87d
  6. frege91d
  7. frege97d
  8. frege98d
  9. frege102d
  10. frege106d
  11. frege108d
  12. frege109d
  13. frege114d
  14. frege111d
  15. frege122d
  16. frege124d
  17. frege126d
  18. frege129d
  19. frege131d
  20. frege133d