3 ms·See this. It uses first-order logic. http://www.mizar.org/library/ http://www.mizar.org/library/by cscurmudgeon 5y agoSee this. It uses first-order logic. http://www.mizar.org/library/ http://www.mizar.org/library/