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