>Те фундаментальные, базовые модели, на которых мы изучаем логическое мышление - арифметика, евклидова геометрия, теория множеств, - заведомо, доказано непротиворечивы

непротиворичивость формальных систем формально неразрешима

"доказательство" непртиворечивости это форма парадокса лжеца

(Reply to this) (Thread)

Мы можем, например, построить частный случай, про который нам достоверно известно, что он существует.

(Reply to this) (Parent) (Thread)

>нам достоверно известно

нету такого и быть не может

(Reply to this) (Parent)