「レーヴェンハイム–スコーレムの定理」の変更履歴

ナビゲーションに移動 検索に移動

差分の選択: 比較したい版のラジオボタンを選択し、Enterキーを押すか、下部のボタンを押します。
凡例: (最新)＝最新版との比較、(前)＝直前の版との比較、細＝細部の編集

2024年9月3日 (火)

  • 最新前 14:302024年9月3日 (火) 14:30 imported>Lambda1999 15,860バイト +15,860 →歴史: 英語版の翻訳だと思うが、わかりにくい翻訳なので、直訳せず意訳した。趣旨は「現在ではsatidfiabilityというべきところでも、以前はconsistencyと言ってしまっていた」ということ。この区別は完全性が成立するかどうかに関係なく必要だから、英語版の記述がそもそもおかしい。
「https://ja.wiki.beta.math.wmflabs.org/wiki/レーヴェンハイム–スコーレムの定理」から取得