例えば、

ＺＦＣの無矛盾性＝主観
かくかくしかじかの形式的命題がＺＦＣで証明可能＝客観

という区別ね。こういう区別をする、というのはあくまで
俺の意見だけど