Известно, что математическое моделирование мощный метод познания внешнего мира, а также прогнозирования и управления. Мы рассмотрели лишь одну сторону моделирования, а именно использование моделей для доказательства непротиворечивости заданной системы аксиом.

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

Пусть дана система аксиом А. Эта аксиоматика называется полной, если её нельзя дополнить новыми аксиомами, которые не вытекали бы из аксиом А и не противоречили им. Существует критерий, позволяющий проверить свойство полноты данной системы аксиом. Этот критерий мы рассматривать не будем.

 

Добавить комментарий

Plain text

  • HTML-теги не обрабатываются и показываются как обычный текст
  • Адреса страниц и электронной почты автоматически преобразуются в ссылки.
  • Строки и параграфы переносятся автоматически.
CAPTCHA
Этот вопрос задается для того, чтобы выяснить, являетесь ли Вы человеком или представляете из себя автоматическую спам-рассылку.