Trong ngôn ngữ, tiên đề được định nghĩa là một cụm từ hoặc một ý tưởng tự hiển nhiên và do đó, không cần bất kỳ loại xác minh nào để khẳng định lại hoặc phủ nhận nó. Đó là trường hợp của một cụm từ chẳng hạn như "Juan là Juan". Tiên đề được sử dụng trong các lĩnh vực khác nhau, nhưng chúng đặc biệt hữu ích cho các ngành khoa học như toán học hoặc logic vì chúng là cơ sở cho bất kỳ loại nghiên cứu hoặc phân tích phức tạp hơn nào.
Các tiên đề có lẽ là yếu tố quan trọng nhất của một cuộc điều tra khoa học, dù nó có thể là gì, bởi vì chúng là những yếu tố giả định một sự thật không thể chối cãi (đã được xác lập trong nội dung của nó và không thể phủ nhận được) mà từ đó mọi loại có thể tiếp tục được thực hiện. . của các suy luận hoặc giả định mà sau này phải được xác minh hoặc bác bỏ. Các tiên đề sau đó đóng vai trò như các yếu tố kích hoạt quá trình khoa học vì nếu không có chúng thì sẽ không có chân lý trước đó để bắt đầu. Theo truyền thống, hệ thống này là suy diễn vì một quy tắc khoa học khả thi được suy ra từ một chân lý tiên đề đã có từ trước.
Để hiểu rõ hơn khái niệm này rằng có một chân lý chắc chắn hoặc bất biến, có thể nói thêm rằng thuật ngữ tiên đề xuất phát từ tiếng Hy Lạp. axios. Đến lượt nó, thuật ngữ này có nghĩa là khái niệm "điều gì là công bằng hoặc đúng đắn", đó là lý do tại sao tiên đề lại cho rằng, vì nó đúng, không cần bằng chứng hoặc xác minh.
Do đó, điều quan trọng là phải chỉ ra rằng tiên đề là dạng ngôn ngữ và logic thực sự vì, bất kể nội dung của chúng hay cách diễn giải được đưa ra cho nó, cấu trúc hình thức vẫn duy trì và luôn giả định một cái gì đó hiển nhiên hoặc rõ ràng. Theo cách này, chúng là một số dạng logic cơ bản và đơn giản nhất bởi vì độ phức tạp cao hơn sẽ có nghĩa là có nhiều không gian hơn để đặt câu hỏi hoặc phủ nhận.
