未分類 一般化と∃除去の仮定の解消
存在除去は下のリンクの記事のような雰囲気の演算のことで、人の普遍的な認識を厳密化したものだと感じます。 例えば「1より大きな数は存在する」というありふれた人の認識は、厳密には「2は1より大きな数は数である」という暗黙的な前提が元になっていま...
未分類 暇つぶしに見て 暇つぶしに見て