почему основным языком информационного моделирования в науке является язык математике, а естественный язык?

Потому что естественный язык не точен, его могут понять только люди. (Вы когда нибудь видели компьютер, который может адекватно общаться на нашем языке?)