真鍋凪咲、川本笑瑠と数学基礎論を勉強します