結果 : what is mathematical foundation of computer science