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].
- frege77d
- frege81d
- frege83d
- frege96d
- frege87d
- frege91d
- frege97d
- frege98d
- frege102d
- frege106d
- frege108d
- frege109d
- frege114d
- frege111d
- frege122d
- frege124d
- frege126d
- frege129d
- frege131d
- frege133d