What is a mathematical theory