君は牛を二頭持っている。

出典: へっぽこ実験ウィキ『八百科事典（アンサイクロペディア）』

秀逸な記事

この記事は秀逸な記事だよ。書いた本人とひよこ陛下が言うんだから間違いない。より素晴らしい記事にできるってんなら、してみやがってください。お願いしましたよ。

「conan＝sin1であるから「1=2」は自明ではないか。即ち、君が牛を2頭持っていることも自明ではないか」
~ 君は牛を二頭持っている。について、アレレー・バー

君は牛を二頭持っている。（きみはうしをにとうもっている）とは、全事象を解き明かす究極の哲学である。このページはアンサイクロペディア執筆者のみならず、インターネットにおける研究活動に大きく拠るものである。

長い歴史を通して、数学界では牛二頭所有問題の定理が次々に発見され続けてきた。この分野で現在までに発見された定理は45,892篇に上る。以下に示すのは、その完全なリストである。ちなみに、牛二頭所有問題における定理が無数に存在することは、1972年にノストラダムスによって証明された。

君が牛を二頭持っていることの数学的証明は、イギリスの数学者アレレー・バーが1970年代に提唱した四角関数式と呼ばれる以下の恒等式に求められる。

$Moo\cdot\left(\sin\left(Cow_{A}\right)+\cos\left(Cow_{B}\right)\right)\,\!=2\cdot{Cows}$

この証明はまた、次の第二四角関数式に書き換えることができる。

$\log_{moo}{\left(Cow_{A}\right)}+\log_{moo}{\left(Cow_{B}\right)}\,\!=\log_{\left(2\,\,Cows\right)}{\left(Moo\right)}$

ここで $M o o$ は万有四角定数である。

次世代Windowsでプリインストールされる予定のMicrosoftCowManager

関連する分野に、牛三頭の所有に係わる定理を見出す問題があるが、こちらの方ははるかに困難であることが知られている。同様に無限の数の定理が存在すると予想されているものの、証明はされていない。今日までに知られている牛三頭定理はわずかな数である。マイクロソフトが次世代Windowsの推奨環境に牛乳三頭分(必須環境は二頭分）を加えると発表したことから、近代哲学にとって、この問題が可及的速やかに解決を図るべき最重要課題の一つであるとの見方が、カメに追いつかんとする駿足のアキレウスよりもずっと速い速度で広まりつつある。