محمد اردشیر در یازدهمین همایش سالیانه انجمن منطق ایران گفت: منطق پایه یک منطق جایگزین برای منطق شهودگرایانه است ولی درباره ریاضیات منطق پایه در ایران خیلی کم کار شده است.