近江商人（おうみしょうにん、おうみあきんど）または江州商人（ごうしゅうしょうにん）、江商（ごうしょう）は、中世から近代にかけて活動した近江国・滋賀県出身の商人。大坂商人・伊勢商人と並ぶ日本三大商人の一つである。現在でも俗に滋賀県出身の企業家を近江商人と呼ぶことがある。通常、近江国外に進出して活動した商人のことを近江商人と言い、活動地域が近江国内に限定される商人は「地商い」と呼ばれて区別された。
ノッティンガムで生まれた。書店を営む祖父に育てられた。はじめ建築を学ぶつもりであったが絵画に転じた。パリでミシェル・マルタン・ドロランに学び、パリのルーブル美術館で絵画の模写の訓練をして、ルネッサンス美術の知識を深めた。1847年にイギリスに戻り、スタッフォードシャーのハンリー(Hanley)の美術学校の教師になり、その後校長になった。1852年にロンドンに出て、美術教師となり、市会議員の娘と結婚した。装飾美術館（Museum of Ornament Art)の学芸員に任じられ、このコレクションは1857年にサウス・ケンジントンに移転して、ヴィクトリア&アルバート博物館となった。学芸員の仕事を1863年まで続け、"Art Referee"に任じられた。その間、イタリアの収集家のカンパーナ(Giampietro Campana)のコレクションの彫刻を購入するなどして、イタリアのルネッサンス美術の彫刻のコレクションを充実させたことで知られる。また地方美術館での巡回展の開催を企画した。1856年に収集家のクラブを設立し、1857年に新博物館が会館した後は"Fine Arts Club"となり、1866年に Burlington Fine Arts Clubに改組して、初代の会長になった。医師で、版画家のヘイデン(Francis Seymour Haden)と協力して、王立画家版画家協会(Royal Society of Painter-Etchers、後にRoyal Society of Painter-Printmakers)を設立した。1869年に博物館を退職した後は、モンセレート子爵のような個人の美術収集家のアドヴァイザーとして働き、自らも、絵画や骨董品の収集家として知られ、芸術家としては、特に版画作品で知られた。1880年から1901年まで王室の絵画コレクションの管理をする"Surveyor of the Queen's Pictures"として働き、1887年にナイトに叙階された。著書はないが、「タイムズ」などの新聞や雑誌に美術評論を寄稿し 、ミケランジェロやラファエロの絵画の総作品目録を製作した。
八尾平野の南側丘陵に分布する古墳群である。南東の麓には玉若酢命神社境内が立地する。古墳群は前方後円墳1基（8号墳）と円墳14基の計15基から成り、前方後円墳は尾根頂上部に、他の円墳は玉若酢命神社境内から山頂への途中一帯に分布する。古墳群中で最大規模の前方後円墳（8号墳）は、墳丘長33.2メートル、後円部直径19メートル、後円部高さ2メートルで、墳丘を良好に遺存する。後円部墳頂には、板状・方形状の石が散在する。円墳は直径10-15メートル前後で、3・4基ごとにひとまとまりを成す。円墳のうち3号墳は横穴式石室を持ち、その内部からは大刀・須恵器が検出されている。この3号墳の様相から、古墳群全体としても古墳時代後期頃の築造と推定されるが、3号墳以外の調査は実施されておらず詳細は明らかでない。古墳群の分布域は、1972年（昭和47年）7月28日に島根県指定史跡に指定されている。
ゲーデルの完全性定理は、一階述語計算の演繹系が、全ての論理的に妥当な論理式の証明に追加の推論規則を必要としないという意味で「完全」であるとしている。完全性の逆は健全性であり、演繹系において論理的に妥当な論理式のみが証明可能だということを意味する。これらから、論理式が論理的に妥当であることと、それが形式的演繹の帰結であることは同値である。ゲーデルの完全性定理をより一般化した版もある。すなわち、任意の一階の理論 T とその理論での言語における任意の命題 S について、T における S の形式的演繹が存在することと、S が T のあらゆるモデルで成り立つことは同値である。この一般化された定理は暗黙のうちに使われており、例えば、命題を群論の公理系で証明可能であることを示すとき、任意の群についてその命題が成り立つことを示すことで証明とする。異なるモデルでも真となることを扱う数理論理学の一分野をモデル理論と呼ぶ。証明論という一分野では形式体系の証明そのものの構造を研究する。完全性定理は意味論と統語論の間を繋ぐことでこれら2つの分野の基本的な繋がりを確立している。しかし、完全性定理はこれら2つの概念の差異をなくすものではない。実際、もう1つの成果であるゲーデルの不完全性定理によれば、数学における形式的証明で達成できることには本質的な限界がある。不完全性定理でいう「完全」は別の意味で使われている。完全性定理は一階の理論の論理的帰結である論理式を扱い、不完全性定理は特定の理論の論理的帰結にはならない論理式を構築する。完全性定理の重要な帰結の1つとして、一階の理論での論理的帰結の集合が帰納的可算集合であるという事実がある。論理的帰結の定義は特定の言語でのあらゆる構造上で全称化するもので、論理式が論理的に妥当かどうかをアルゴリズム的に検証する直接の手段とはならない。さらに言えば、ゲーデルの不完全性定理の帰結により、論理的に妥当な論理式の集合は決定可能ではない。しかし完全性定理は、実効的な理論の帰結の集合が枚挙可能であることを示している。そのアルゴリズムは、まずその理論から全ての形式的演繹を枚挙する方法を構成し、それを使って帰結の枚挙を生み出すことになる。形式的演繹の有限かつ統語的性質により、それらを枚挙することが可能になっている。