Metamath source file for logic and set theory - View it on GitHub