標数0の代数閉体の理論は
決定的かつ統語論的完全（再帰的公理化可能なので両者は同値）だけど
有限公理化可能ではないよね。
「有限個の公理のセットを知っていればそれで良い」の意味は
有限公理化可能ではないらしいけど、どういう意味なんだろうね？