日本初の民間放送テレビ局として開局してからまだ1年余りしか経っていなかった日本テレビで、一日のニュースを振り返る番組として1954年10月4日に放送開始された。当初は月曜日から金曜日で、1958年4月5日の土日版スタート以降は全日放送となる。出演当時同局のアナウンサーだった小林完吾や、女性アンカーパーソンの先駆けとなったジャーナリストの櫻井よしこなどがキャスターを務めたことでも知られる。終了時点における本番組はNNN加盟30局がネットする唯一の番組となっており、佐賀県と沖縄県を除く45都道府県で放送されていた。スポンサーは月曜日から金曜日まではテレビ宮崎を除く29局はスポンサードネット（全国ニュースのみ）になっていた。1996年4月から2004年9月にかけての金曜日はノンスポンサー(オールスポット扱い)となっていた。なお、土曜と日曜や1970 - 80年代前半の平日については、一時マストバイ局や一部の非マストバイ局のみのスポンサードネットが実施されていた時期があった（当時はスポンサードネットでない地方局が、提供クレジットを隠すために日本テレビからオープニング映像やテーマ曲の素材の提供を受けて全面的に差し替えるということもあった）が、末期は全ネット局ともオールスポット扱いとなっているため、土曜と日曜は、全ネット局にスポンサーがなかった。音声多重放送が始まった1978年頃から2か国語放送が実施された。これは、同じく日本テレビの各報道番組でも実施され、1993年5月31日まで続いた。同年6月1日以降は各番組共にモノラル放送を実施している。また、2006年4月3日より最後の半年間は、リアルタイム字幕放送が実施されていた（土日版を除く）。最終回の2006年9月29日は放送時間を15分拡大した（後述）。
非自明で最も単純な強制半順序は ( Fin(ω,2) , ⊇ , 0 ) である。これは ω から 2={0,1} への有限部分関数全体に包含関係の逆 順序を入れたものである。すなわち、条件 p は有限個の自然数に"yes"(1)と"no"(0)を割り当てているが、それ以外の数には"yes"と"no"は割り当てていない。q が p より強いというのを q ⊇ p としている。q は p の割り当て情報を保ちながらより多くの情報をも与えており強いという表現に合致している。G をこの半順序のジェネリックフィルターとする。p,q を G の要素とするとき、フィルター性から p∪q は条件である。このことから g=⋃G は から ω から 2 へのwell-defindな部分関数である。G のいかなる2要素も共通の定義域では一致しているからである。実際は g は全域関数である。いかなる n ∈ ω に対しても Dₙ={ p : p(n) が定義されている } とすると Dₙ は稠密集合である(いかなる p に対しても、もし n が p の定義域に入っていなくても n に対する値を定義して付け加えるとその関数は Dₙ の要素となる)。条件 p ∈ G∩Dₙ はその定義域に n をもつから p ⊆ g であり、g(n) は定義されていることになる。ジェネリック関数 g の"yes"な要素の集合を X=g⁻¹[1] とする。X に名前を直接与えることは可能である。X = { ( nˇ , p ) : p(n)=1 } とすれば val( X , G ) = X である。今、A⊆ω を V の要素とする。X≠A であることを示す。DA = { p : ∃n, n∈dom(p) かつ (p(n)=1 と n∉A は同値) } とする。DA は稠密である(任意の p に対して、n が p の定義域に入っていなくても n に対する値を n∈A かどうかに矛盾するように定義すればよい)。このとき p∈G∩DA は X≠A の証拠となる。つまり、X は ω の新しい 無限部分集合である。ω を ω×ω₂ で置き換える、すなわち今度の有限部分関数は、入力は n<ω と α<ω₂ を用いて(n,α) の形で、出力はこれらに 0 と 1 を割り当てるものを考える。これにより ω₂ 個の ω の部分集合を得る。それらが全て異なることは稠密性に関する議論から分かる。α<β<ω₂ に対して Dα,β={p:∃n, p(n,α)≠p(n,β)} はそれぞれ稠密で、それに交わるジェネリック条件は α 番目の新しい集合は β 番目の新しい集合に一致しない。これではまだ連続体仮説の否定が成り立つことにはなっていない。作られた新しい関数が ω から ω₁ や ω₁ から ω₂ への全射になっていないことを示す必要がある。というのも、Fin(ω,ω₁) を考えたとき、V[G] では ω から ω₁への全単射が得られている。言い換えると、ω₁ は 潰されていて、強制拡大内では可算順序数になっているのである。連続体仮説の独立性を証明する最後のステップは、コーエン強制が基数を潰さないことを示すことである。これには、組み合わせ論的性質としてはこの半順序の反鎖が可算個しかないこと、すなわち可算鎖条件があれば十分である。