>>62 補足
<無限公理>
http://www.math.tsukuba.ac.jp/~tsuboi/
坪井明人 University of Tsukuba
http://www.math.tsukuba.ac.jp/~tsuboi/under.html
学部（数学類）関連
http://www.math.tsukuba.ac.jp/~tsuboi/und/14logic3.pdf
数理論理学II

つづく