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