Работа в вашем городе



Знаменитые теоремы о неполноте и непротиворечивости формальных систем были доказаны

  • Л. Витгенштейном
  • К. Геделем
  • А. Тарским
  • Аристотелем


Еще вопросы:










Написать комментарий


Как к Вам обращаться: Адрес электронной почты: Ваше сообщение: