GEB, стр. 95
Разные виды непротиворечивости:
- Логическая (никакие теоремы не противоречат друг другу)
- Математическая (не нарушают законов математики)
- Физическая (совместимы с законами физики)
- Биологическая...
Граница интересного: между физической и математической.
🌀 Это решают математики и физики — "компания, которую вряд ли можно назвать беспристрастной".