Logic nội tại của sự phát triển Toán học - Lê Văn Đoán, TS.