논리적으로 타당하다거나 아니면 실험적으로 증명이 가능하다거나