Я уже точно не помню, как-то ее к арифметике пытались привязать, потом доказывали мне, что для нее не нужно понятие модели.

Арифметика первого порядка была в качестве примера.

Вначале я сказал, что доклад будет не корректен с точки зрения математики. Я нарочно старался использовать как можно меньше терминов, чтобы не запутать. Поэтому теорему о полноте я свёл к конкретному примеру, чтобы показать что не всё так гладко с применением теоремы о неполноте. Всё таки мы на семинаре по антропологии, а не математики.

В термин "утверждение верно" я упрятал и модели. Если я Вас пытался убедить в обратном, то видимо я Вас неправильно понял. Приношу свои извинения.