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 :