いたら、面白いと思う。
コミュニケーションは、取れない確率の方がはるかに高いんじゃないかな。
数学が数学たりえている一因に、論理的厳密性がある。
限定的な条件を与えれば反証可能性をもつらしいけど（これについては特によく知らない）
まぁ、それでもほぼ１００％厳密だと言ってよいから、宇宙人にも理解してもらえる、そういった旨の文章を読んだことがある気がする。
だけど、人間の作った論理学に基づく限り、その推論規則に依存するはずで。
推論規則って一意じゃないよね？
人間の論理学＋公理を知ってもらえれば理解してもらえる、という意味なのだろうか。
