新井敏康
新井敏康「ゲーデルの無矛盾性証明」『現代思想 2007年2月臨時増刊号(総特集 ゲーデル)』第35巻第3号、青土社、2007年3月、82-93頁、ISBN 978-4-7917-1160-4。