23/12/17 17:02:10.41 26hSOgL/.net
群の定義だけで、全ての群の形が理解できるか？ 否
多様体の定義だけで、全ての多様体の形が理解できるか？ 否
論理式の定義だけで、全ての論理式の真偽が理解できるか？ 否
論理式に関していうと、それが充足不能（つまり矛盾）な場合、
矛盾を導く証明を返す手続きは存在する
この手続きがアルゴリズムでないのは、
充足可能な場合には、回答が返ってこないからである
23/12/17 17:02:10.41 26hSOgL/.net
群の定義だけで、全ての群の形が理解できるか？ 否
多様体の定義だけで、全ての多様体の形が理解できるか？ 否
論理式の定義だけで、全ての論理式の真偽が理解できるか？ 否
論理式に関していうと、それが充足不能（つまり矛盾）な場合、
矛盾を導く証明を返す手続きは存在する
この手続きがアルゴリズムでないのは、
充足可能な場合には、回答が返ってこないからである