נקודה לא ברורה באונטלוגית

נקודה לא ברורה באונטולוגית
שלום הרב.
בעמוד 84 הבחנת בין טענת
"הטענה '2+2=4' נכון בהכרח" לבין "הטענה 'x קיים' נכונה בהכרח".
אמרת שהשניה היא לכאורה טענה עלינו ולא על העולם. לא הבנתי למה. גם את 2+2=4 אפשר לכתוב כ'הטענה הזו נכונה', ומאידך גם את השנייה אפשר לכתוב כ " 'x קיים' בהכרח".
מה ההבדל?