フェルミのパラドックス

次の 4 つの主張を考える。

1. 銀河系には太陽より数十億年古い恒星が多数あり、その多くが惑星系をもつ。
2. 生命と知性の発生確率がごく小さくても、恒星の数が $10^{11}$ 個あるため、我々より数億年から数十億年早く技術文明が現れた例が一つはあったと期待される。
3. 恒星間航行が原理的に可能であるなら、そのような文明は $10^{7}$ 年から $10^{8}$ 年という、銀河系の年齢のごく一部の時間で銀河系全体に到達できる（命題 5.1、系 5.2）。
4. しかし太陽系にも地球にも、地球外文明が訪れた形跡も、その機械や構造物も、まったく見つかっていない。

この 1 から 4 が同時には成り立たないこと、すなわちどれかの前提が誤っているはずだという状況をフェルミのパラドックスという。