「高階述語論理」の変更履歴

差分を表示するには比較したい版のラジオボタンを選択し、エンターキーを押すか、下部のボタンを押します。
凡例: (最新) = 最新版との比較、(前) = 直前の版との比較、m = 細部の編集、日時は個人設定で未設定ならUTC

2023年8月30日 (水)

2022年8月1日 (月)

2021年4月7日 (水)

  • 最新前 05:342021年4月7日 (水) 05:34‎ Diagonal 会話 投稿記録‎ 3,170バイト +266‎ ゲーデルによる結果は、標準モデルによるものであり、一方、ヘンキンの結果は、非標準的モデルも含めた場合であるので、両者は矛盾しない　このことが誰が読んでもわかるよう、曖昧さなく明確に記載 取り消し

2018年1月27日 (土)

2014年3月18日 (火)

2013年4月17日 (水)

2010年10月15日 (金)

2009年9月25日 (金)

2009年9月23日 (水)

2009年5月25日 (月)

2008年6月17日 (火)

2008年6月11日 (水)

2008年4月12日 (土)

「https://ja.wikipedia.org/wiki/高階述語論理」から取得