定められたシステムの理論