Then add to T a collection of sentences that say that the objects denoted by any two distinct constant symbols from the new collection are distinct (this is a collection of κ2 sentences).
Потім додайте в T набір пропозицій, які говорять, що об'єкти, позначені будь-якими двома різними постійними символами з нової колекції, різні (це набір пропозицій κ2).