Automated Development Of Fundamental Mathematical Theories by Art Quaife