Lõplikku propositsioonide kogumit võib vaadelda propositsioonina, mille kohaselt kõik kogumisse kuuluvad propositsioonid on tõesed (propositsioonina, mis väidab kõiki kogumisse kuuluvaid propositsioone).