Einverstanden: Das muss nicht formalisiert werden. - Wovon die redest: Von einem Schema, das "für alle" Prädikate gilt, ohne dass dieses "für alle" innerhalb des (typenfreien) logischen Systems formalisiert ist. Das könnte geschrieben werden: