Cơ sở logic toán của các phép chứng minh toán học cơ bản và áp dụng chứng minh các bài toán phổ thông
Các định lý cơ bản của hình học phẳng
Các định lý tồn tại trong giải tích và định lý cơ bản của đại số
Các định lý cơ bản của nhóm hữu hạn
Các định lý cơ bản của hình học phẳng
Nghiên cứu mở rộng galois và tìm hiểu các định lý cơ bản của lý thuyết galois