A student of mathematical logic; interested in foundation of mathematics and philosophy of mathematics.