Metadata
Author: WikiMatrix
Data
Greek[el]
Αυτό είναι ισοδύναμο με το εξής:για όλα τα y, y∈s αν και μόνο αν όπου Ψ(X,...) είναι το αποτέλεσμα του περιορισμού κάθε ποσοδείκτη στο Φ(...) προς το X.
French[fr]
C'est la même chose de dire : pour tout y, y∈s si et seulement si dans laquelle Ψ(X, ...) est le résultat de la restriction de tous les quantificateurs aux ensembles de X dans Φ(...).