Es gibt kein unendliches logisches Produkt.
     Darum ist ein Satz der sagt „für alle Kardinalzahlen gilt …” ein Satz über die Form der Kardinalzahl. (Ein intensionaler Satz.)