「フェルマーの小定理」を証明するプログラムを作るシステムについて以下の記事で考察してきました。 数学ゲーム(32) - 非専門的シンギュラリティー研究所 有理式と階乗計算システム(「多項式計算システム」を含む) 帰納法システム 数学ゲーム(33) - 非専門…