Tarskiの高校代数問題
問題
加法・乗法・累乗で表された正整数の恒等式は,加法・乗法・累乗の基本法則のみを用いて証明できるか?
It asks whether there are identities involving addition, multiplication, and exponentiation over the positive integers that cannot be proved using eleven axioms about these operations that are taught in high-school-level mathematics.
回答
関連文献
リンク切れ