>>1
その体系の内部ではね
具体的には公理系のこと