Mathematics is an extension of logic. Every domain in mathematics can be reduced to logic.| Steve Patterson
