énoncé universel- énoncé portant sur tous les objets mathématiques d'un domaine de base
Aussage über alle mathematischen Objekte eines Grundbereichs
„»Für jedes t gilt: t ist Teiler von 12.« Durch Bindung von t mit Hilfe von ‚für jedes‘ wird (aus dieser nicht allgemeingültigen Aussageform) eine falsche Universalaussage gebildet.“
« Pour tout t : t est diviseur de 12. » En liant t au moyen de « pour tout », (à partir de cette forme d'énoncé non universellement valide) un faux énoncé universel est formé.
