משפט 1: ניתן לפרש את השישה-צדדי הקבוע בדרכים שונות, כולל כמודל של הגיון מסורתי, כמותים, הגיון מודאלי, תיאוריית סדר, או הגיון הגיוני. משפט 2: השישה-צדדי הפארא-קונסיסטנט יכול להיות מפורש בדרכים שונות, כולל כמודל של לוגיקה מסורתית, קוונטיפיקציות, לוגיקה מודאלית, תיאוריית סדר או לוגיקה לוגית. שאלה: האם משפט 1 ומשפט 2 מבטאים את אותה המשמעות? כן או לא?
כן, כן.