数学基礎論・数理論理学　その17 [無断転載禁止]©2ch.net

「公理が定義域を決める」ってのはモデルの範囲が決まるという意味である。
それと逆に証明可能な定理全体の集合は「値域」だ。