50代のおやじです。昔数学基礎論を志していたものでもう一度勉強したいと思っています。