Можете объяснить концепцию доступности системы в рамках теоремы CAP?