>にゅわんで?
投稿者: heller1933 投稿日時: 2003/01/21 21:30 投稿番号: [6674 / 28311]
可能だという意味。
つまり、佐藤英作をこきおろすことが無意味だってことを指してんのさ。
それと、君のイコールの理解は甘いね。
例えばさ、集合AとBがあり、A≠Bとする。
でね、あるa∈A、b∈Bについて、a=bが成り立つことも十分可能なのさ。
イコールなんてそんなもんだよ。
これがもし恒等号だったら、当然a≡bは上の条件のもとでは絶対に成立しない。
大体お分かりいただけたかな?
それとね、明確に実数や整数、有理数を対象としてる解析の知識を、
こういった意味論的な領域に応用するのってさ、機械的にはできないから。
OK?
これは メッセージ 6665 (risakodessu さん)への返信です.
固定リンク:https://yarchive.emmanuelc.dix.asia/1835563/5bdbva4hfha1a4c0a4ia41a4ndabffcbf7j9a4r8a1beza47a4ha4a6a1aa_1/6674.html