Phương pháp tiên đề, về mặt logic, là một thủ tục mà toàn bộ hệ thống (ví dụ, một ngành khoa học) được tạo ra theo các quy tắc cụ thể bằng cách suy diễn logic từ các mệnh đề cơ bản nhất định (tiên đề hoặc định đề), đến lượt nó được xây dựng từ một vài thuật ngữ được coi là nguyên thủy.