수갤러들의 생각은 어때? e+pi나 오일러-마스케로니 상수, 아페리 상수 등등... 대수적인 방법으로 정의된 상수의 초월수 증명가능성이 ZFC 내에서 결정불가능할 수 있다 생각함?