W. Reinhardt
发表
G. Boolos,
D. Scott,
T. Jech,
1971
.
W. Reinhardt,
A. Weiss,
H. Meyer,
1985
.