バーコフの定理なんてのは代数学の定理とも論理学の定理ともいえるな