Mathematical system theory