瞬間-moment-

時間の無駄。

法学と論理学

食品衛生法(しょくひんえいせいほう、昭和22年法律第233号)は、日本において飲食によって生ずる危害の発生を防止するための法律。所管は厚生労働省(表示に関してのみ消費者庁)。食品と添加物などの基準・表示・検査などの原則を定める。食器、割ぽう具、容器、包装、乳児用おもちゃについても規制の対象となっている。

食品衛生法 - Wikipedia

 

 

数理論理学(独: mathematische Logik、英: mathematical logic)は、論理学(形式論理学)の数学への応用の探求ないしは論理学の数学的な解析を主たる目的とする、数学の関連分野である。局所的には数理論理学は超数学、数学基礎論、理論計算機科学などと密接に関係している。[1]数理論理学の共通な課題としては形式体系の表現力や形式証明系の演繹の能力の研究が含まれる。
数理論理学はしばしば集合論、モデル理論、再帰理論、証明論の4つの領域に分類される。これらの領域はロジックのとくに一階述語論理や定義可能性に関する結果を共有している。計算機科学(とくにACM Classification(英語版))における数理論理学の役割の詳細はこの記事には含まれていない。詳細は計算機科学における数学(英語版)を参照。
この分野が始まって以来、数理論理学は数学基礎論の研究に貢献し、また逆に動機付けられてきた。数学基礎論幾何学、算術、解析学に対する公理的な枠組みの開発とともに19世紀末に始まった。20世紀初頭、数学基礎論は、ヒルベルトのプログラムによって、数学の基礎理論の無矛盾性を証明するものとして形成された。クルト・ゲーデルとゲルハルト・ゲンツェンによる結果やその他は、プログラムの部分的な解決を提供しつつ、無矛盾性の証明に伴う問題点を明らかにした。集合論における仕事は殆ど全ての通常の数学を集合の言葉で形式化できることを示した。しかしながら、集合論に共通の公理からは証明することができない幾つかの命題が存在することも知られた。むしろ現代の数学基礎論では、全ての数学を展開できる公理系を見つけるよりも、数学の一部がどのような特定の形式的体系で形式化することが可能であるか(逆数学のように)ということに焦点を当てている。

数理論理学 - Wikipedia

 

 

なぜ食品衛生法の記事を更新することにしたのかすらもはやわからないが、

話題を変えておこう。