絶対数学は人工かな?