集合論やカテゴリー論の立場なら0^0=1は証明できる定理になる