> Дыр между тем, что ты хочешь и тем, что должно получится.

а "должность" (должно быть так) кто определяет? все тот же человек, как и в аксиоматике - просто принимаем за истину без доказательств, не ставим под сомнения, но даже такая практика показывает не полноту.

> От себя же и получает. Как человек. Или даже не получает, а
> другим способом стремится к цели.

Ну раз от себя же получает, то это и есть аксиоматика, он принимает на веру истинность и отталкивается от нее. И собственно вопрос, избавились разве мы от аксиоматики? Для ИИ такие же аксиомы будут, те самые три закона (надо только доказать их независимость и непротиворечивость)