実数解と萌えと数学的証明

おなかがぶよぶよ @onaka_buyo

数学クラスタこわ

エヴィン・ラティエ @evinlatie

【あるツイートの善意解釈】 前者は一変数述語記号"-1≧"と二変数述語記号≦を言語とする”実数”という名前のある構造（{0,1,2,3…}を領域とし、"-1≧"の解釈は{0,2,3,4…}、 "≦"の解釈は通常の実数の順序）。 後者は同じ言語の別の構造を考えてる。

エヴィン・ラティエ @evinlatie

だいぶ無理矢理ですけど何か

青い楕円形のぜろ @0_uda

つまりこうですか。 (-1≧x≦1) 証明できないでしゅ～

おなかがぶよぶよ @onaka_buyo

『実数って何？』って質問にどう答えるかが問題なの！

ひらいずみ @hrizm

-1≧x≦1よりも勉強すきすきウーマンの方が俺はおもしろいと思うようん

ただまご = 永島孝 @tadamago

「－1≦x≦1の範囲に実数が二つ以上ある」ことの証明はネットにも書物にもないだろうなあ(笑)．

@pariahCTAN

あっ宇宙賢者にふぁぼられてる