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

このエントリーをはてなブックマークに追加
329 ：１３２人目の素数さん：
>>328
自分で作れば良い。全ての図を少しずつ列挙し、
同時に一方ではそれらが証明図になって居るかどうか少しずつ判定すれば良い。