数学基礎論・数理論理学　その11

数学基礎論・数理論理学　その11at MATH

数学基礎論・数理論理学　その11 - 暇つぶし2ch329:１３２人目の素数さん
12/01/18 19:17:07.58
>>328
自分で作れば良い。全ての図を少しずつ列挙し、
同時に一方ではそれらが証明図になって居るかどうか少しずつ判定すれば良い。