Философия (правильная, не риторическая) подсказывает, как познавать мир, чтобы результат этого познания не оказывался заблуждением.

A:{ a, b, c } - свойства реального мира
B:{ a1, b1, d } - проекция реального мира на сознание человека
Проверка адекватности модели реального мира:
C = { (A ∩ B) = { ∃(a → a1) ∩ ∃(b → b1) ∩ ∃(c → d) } = true/false