公理と証明 証明論への招待

著者：彌永昌吉，赤攝也
発行所：筑摩書房

---

p.073　“\(M\) から \(M\) への準同型写像”→“\(\mathscr{G}\) から \(\mathscr{G}\) への準同型写像”
“\(G\) の任意の元 \(a\) に \(a'\) を対応させる”→“\(G\) の任意の元 \(a\) に \(f(a)'\) を対応させる”