Dans la mécanique quantique ces correspondants du réel sont les vecteurs
kets images des états, et les observables images des
propriétés de ces éléments de réalité. En particulier,
chaque ket image
doit correspondre de façon biunivoque à
l'état
réel du système réel qu'il représente. Or,
Einstein prétend que la mécanique quantique ne satisfait pas cette exigence.
Historiquement, Einstein a présenté sa démonstration sous
plusieurs formes successives, notamment dans la publication
déjà citée et dont la rédaction par Rosen ne le
satisfaisait pas lui-même (cf. une lettre à Schrödinger du 19 juin
1935). Comme il est indiqué dans cette dernière lettre, la
démonstration, quand elle est dépouillée d'érudition, peut
être schématisée comme suit :