いくつかの公理から論理的に組み上げられた
理論体系