Định lý bất toàn của Godel thuộc một nhánh toán học có một cái tên rất hay: "toán học kiến tạo" - contructive mathematic- nơi nghiên cứu cách biểu diễn các đối tượng toán học, tính chính xác của logic suy diễn (hệ tiên đề, mệnh đề logic,...)... Toán học kiến tạo được bình luận là nút giao giữa toán học và triết học.