Гипотеза - это предположение, требующее строгого (как правило - математического) доказательства.
Предположения, не имеющие [никаких] доказательств - это фантазии.

Вообще, обсуждение - оно фееричное, да. Чего все так носятся с этой САР-теоремой, как с каким-то божественным откровением, это как религия блохчейна, один-в-один.
Начнём с того, что многократное дублирование всей системы целиком - как по мне, так имеет мало общего с Partitioning. Т.е., каким боком эта теорема к беткоэну - я лично хз. Да и то, в итоге Consistency довольно приблизительное и где-то в [более или менее] отдалённом будущем.

В реальной же, а не идеальной системе, как верно заметили выше, задержка сигнала между разными частями уже даёт какой-то интервал неконсистентности и недоступности - вот вам и математически строгое доказательство "теоремы", потому-то в реальной жизни используется такая весчь, как SLA. И при грамотном разделении на партиции вполне можно довести статистическую вероятность совместных событий отказа частей системы до уровня той самой неконситстентности и недоступности, вызванной задержками сигнала.