[kisoron-ml] 再送:数学基礎論若手の会2014