中世哲学で、「宇宙論的証明」と呼ばれる神の存在証明の論証手順は、古代ギリシアのアリストテレスに遡る。事物や出来事には、全て「原因」と「結果」があると考えたのはアリストテレスである。従って、神の宇宙論的証明は、アリストテレスがすでに行っていた。中世スコラ哲学は、13世紀の「アリストテレス・ルネッサンス」の言葉で知られるように、アラビア・スコラ哲学を介して、古代ギリシアの哲学者、とりわけアリストテレスの思想を取り入れたところで成立したとも言える。トマス・アクィナスは、アリストテレスの根本の原因者の概念を、キリスト教の神に当て嵌めて、この以下のように証明を行った。全ての事物や出来事には、必ず原因があり結果がある。宇宙には、運動している物体がある。物体が運動するには、何か原因がなければならない。原因となった出来事が存在して、初めてこの宇宙での物体の運動という出来事は説明される。そこで、原因となった出来事を考えると、この出来事にもまた原因がなければならない。こうして考えると、出来事の「原因」の序列は、より根本的な原因へと遡行して行くことになる。しかし、この過程は「無限」ではないはずである。宇宙には「始まり」があったのであれば、原因が無限に遡行するというのはおかしい。それ故、一切の運動には、原初の根因があるはずであり、出来事の因果は、この根因よりも先には遡らない。これこそ「神」であり、ゆえに宇宙に運動があり、出来事があるということは、その根因である神の存在を証明している。この証明に対し、出来事の原因と結果は、必ずしも一対一ではないという考えがある。原因は1つとは限らないし、結果も1つとは限らない。しかし、原因が仮に非常に多数あったとしても、それらの多数の原因となる出来事の原因を尋ねて行けば、やはり、根源の宇宙の初原の原因に辿り着かざるを得ない。この初原の原因が、すなわち神である。あるいは、神の世界創造を否定して、宇宙の時間は無限にあるなどという議論も可能かも知れない。原因は無限に遡行して、根因には辿り着かないという可能性である。しかし、我々の世界はそもそも「有限の世界」であり、宇宙が無限だというのなら、そのような宇宙は、この世界に対し超越的であり、超自然である。もし無限の宇宙があるなら、それこそ神の存在の明証である。このような論証を、「神の宇宙論的証明」と言う。
アンセルムスやデカルトが、このような形の神の存在証明を試みたので有名である。この証明はいくつかのヴァリエーションを持つが、「存在する」という事態を属性として捉え、例えば次のような論理を展開する。まず、「可能な存在者の中で最大の存在者」を思惟することができる。ここで、「任意の属性Pを備えた存在者S」と、「Sとまったく同じだけの属性を備えているが（Sは備えていない）「実際に存在する」という属性を余計に備えている存在者S'」では、S'のほうが大きい。よって「可能な存在者の中で最大の存在者」は（最大の存在者であるためには、論理的必然として）「実際に存在する」という属性を持っていなければならない。ゆえに「可能な存在者の中で最大の存在者」は我々の思惟の中にあるだけでなく実際に存在する。ところで、可能な存在者の中で最大の存在者とは神である。したがって、神は我々の思惟の中に存在するだけでなく実際に存在する。この証明は一見して詭弁じみており、アンセルムスの同時代人ガウニロによっても批判されているが、中世哲学においては一般的な議論であった。ヒュームやカントによる決定的な論駁がなされてからは、誤謬とみなされて今日に至っている。
目的論的証明とは、例えば、「世界と自然の仕組みの精巧さや精妙さは、人間の思考力や技術を超えている」という考えを前提とし、「世界にこのような精巧な仕組みや因果が存在するのは、『人知を超越した者』の設計が前提になければ説明がつかない、つまり、神は存在する」という主張による証明である。これはカントにおいては自然神学的証明とも呼ばれる。西暦1世紀に使徒パウロは「神の永遠の力と神性は被造物に現れておりこれを通して神を知ることができる」と言っている。現代においては、インテリジェント・デザインが目的論的証明と同様の立場を取る運動として著名である。
FLEXlm（フレックスエルエム）は、ソフトウェアのライセンスを管理するソフトウェアである。ネットワーク経由で複数のユーザ、複数種のソフトウェアを管理する機能がある。米国Globetrotter社によって1988年に開発され現在はMacrovision社の製品となっている。なおMacrovisionは、FLEXnet Publisher と改称している。米Macrovision Solutions Corporation（マクロヴィジョン）は2009年7月17日、社名を「Rovi Corporation（ロヴィ コーポレーション）」に正式に変更したことを発表した。ここでいうライセンスとはユーザがソフトウェアベンダーから購入や借用したソフトウェアの使用権のことであり、FLEXlmはそのソフトを実際に実行する際の可否を自動管理するものである。ユーザに対してはそのソフトウェアベンダーの製品に付随して出荷される場合が多く、通常、前記Macrovisionから直接入手の必要はない。FLEXlmにはソフトウェア利用を特定のマシンに固定するノードロック形式と利用マシンを限定しないフローティング形式がある。両者の混在も可能である。フローティング形式はネットワークライセンスとも呼ばれネットワークを通じてライセンスの配布が行われる。この場合、その管理を行うライセンスサーバとなるマシンが必要となる。動作としてはユーザ側があるソフトを起動しようとすると自動的にライセンスサーバに問い合わせを行い、妥当であればサーバはライセンスを貸出す(check-out)操作を行い、ユーザのソフトの起動を許可する。ユーザが使用を終われば返却(check-in)操作が行われる。ユーザの要求に対しソフトの種類が異なる場合や規定のライセンス数を超えている場合などの場合はcheck-outを行なわず、ユーザはソフトを起動できない。ネットワークは特にLANに限定されるものではなくインターネット経由や設定によってはファイアウォール経由でのライセンス配布も可能である。FLEXlm自体はサーバで実行されるlmgrdというデーモン、特定のベンダー固有のベンダーデーモン、それに付随するユーティリティ群からなっている。lmgrdはひとつで複数の異なるベンダーの管理も行える。ライセンスサーバは通常1台であるが、3台での冗長構成をとることもでき、その場合3台のうち1台が故障しても継続的にライセンス配布が可能である。管理されるソフトウェアはライセンスファイルあるいはkeyと呼ばれるテキストファイルに条件が記述される。内容は対象ソフトウェアの名前、ライセンスの有効期間、ライセンス数、そして暗号文字列などからなる。それらのどこかをユーザが勝手に書き換えるとライセンスは無効となる。またファイルの冒頭ではサーバを特定する番号(hostid)やTCP/IPのポート番号も記載される。このポート番号についてはユーザが変更可能である。FLEXlmでは（特にサーバ）はUNIX系のマシンで使われることが多いがPCでも可能である。PCの場合hostidはネットワークカードのMACアドレスが用いられる。ノードロックの場合はサーバは必要なくこのライセンスファイルのみでよい。適用例としてはEDA分野の各社のソフトウェアでFLEXlmが標準的に採用されている。