درباره ریاضیات منطق پایه در ایران خیلی کم کار شده است