証明可能なしょうめいかのうな<しょう'めい・か'のう>　な

beweisbarsich beweisen lassend