コア定数式の定義は、N4140 の箇条書き (2.7.1) および (2.9.1) に見られるように、定数式の概念に依存します。
§5.19/2:
conditional-expression
eは、抽象マシン (1.9) のルールに従って の評価が次の式のいずれかを評価しない限り、コア定数式です。e
...
(2.7.1) —定数式で初期化された、前に初期化された不揮発性 const オブジェクトを参照する整数型または列挙型の不揮発性 glvalue
...
(2.9.1) —定数式または
また、 N4140 の §5.19/4 に見られるように、定数式の定義はコア定数式の概念に依存します。
定数式は、値が静的記憶域期間を持つオブジェクトまたは関数を参照する glvalue コア定数式、またはそのオブジェクト とそのサブオブジェクトの場合、値がオブジェクトであるprvalue コア定数式のいずれか
です。
これは、数学的論理の基本原則に反しているようです。