Như với cả lý thuyết tập hợp và propositional logic, chúng tôi bắt đầu ra với một khái niệm nguyên thủy — xác suất của một sự kiện. Đây là định nghĩa được cung cấp bởi một sách giáo khoa hiện đại [Rosen 91]: "xác suất của một biến cố E, mà là một tập hợp con của một không gian hữu hạn mẫu S của đều có khả năng kết quả, là p(E) = | E| / | S|." Định nghĩa này bản lề trên ý tưởng của một thử nghiệm mà kết quả trong một kết quả, không gian mẫu là tập hợp của tất cả các kết quả có thể, và một sự kiện là một tập hợp con của kết quả. Định nghĩa này là tròn: "đều có khả năng" kết quả là gì? Chúng tôi giả định đây có xác suất bằng nhau, nhưng sau đó các xác suất được định nghĩa trong điều khoản của chính nó.
đang được dịch, vui lòng đợi..