20世紀の研究
アレニウス
1903年に、スウェーデンのスヴァンテ・アレニウスが提唱する。
1905年にアインシュタインが光量子仮説を発表したが、1908年にアレニウスは自著『世界のなりたち』（独: Das Werden der Welten）を出版し、パンスペルミアが隕石に付着せずともそれ自体として、恒星からの光の圧力すなわち放射圧または光圧で宇宙空間を移動する説を現して、「光パンスペルミア（説）(独: Radiopanspermie)」と呼称している。
このうち全称記号「∀」によって束縛した場合には「∀xP(x)」という閉論理式が得られ、これは「全ての（任意の） x について、x は P である」（より簡単には「全ての x は Pである」）という意味になる。
このように自由変数を束縛して得られる閉論理式はもとの論理式の全称閉包（universal closure）と呼ばれる。
