Completing theories by forcing1970-10-010 PRE AI DOI:10.1016/0003-4843(70)90008-2OriginalOriginal request for helpShareSaveAbstract En