e+pi나 오일러-마스케로니 상수 등등... 대수적인 방법(유한번의 사칙연산, 극한 등)으로 정의된 상수의 무리수나 초월수 증명가능성이 ZFC 내에서 결정불가능한 경우가 존재할 거라 예상하시나요?