体系とは、公理系など。