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