相対性理論
特殊論・一般論ともアルベルト・アインシュタインにより記述された。まず、等速運動する慣性系の間において物理法則は互いに不変であるはずという原理（相対性原理）と光速度不変の原理から導かれたのが、特殊相対性理論である（1905年）。特殊相対性理論は、時間と空間に関する相互間の変換が、相対速度が光速に近づくと、従来のいわゆる「ニュートン時空」的に信じられていたガリレイ変換の結果とは違ったものになること、そういった場合にはローレンツ変換が正しい変換であることを示した（「ミンコフスキー時空」）。
P≠NP予想
複雑性クラスを分離するために最初期から主に1970年代末まで利用された証明手法として、集合論の創始者カントールが1891年に考案した対角線論法がある。これは一方のクラスの万能関数であって他方のクラスに属するものを構成し、その対角線部分に着目することで複雑性クラスを分離するもので、P≠EXPTIME()を示す際などに適用された。このような証明手法の特徴として「相対化」と呼ばれる性質の保存がある。複雑性クラス C をオラクル A で相対化するとは、クラスCに属する計算機にオラクル A を付与した新しい複雑性クラス C を作ることである。ここで、複雑性クラス C,D について対角線論法によって C≠D が示されたとすると、C≠D が同時に成り立つ。同様に、対角線論法によって C＝D が示された場合は C＝D がどのような A についても成り立つ。