有限可解性

finite solvability