Tôi đang đọc về lý thuyết loại phụ thuộc trong cuốn sách trực tuyến Lý thuyết loại Homotopy .
Trong phần 1.3 của Loại Theory chương, nó giới thiệu các khái niệm về hệ thống cấp bậc của vũ trụ : , nơi
mọi vũ trụ là một yếu tố của vũ trụ tiếp theo . Hơn nữa, chúng tôi giả định rằng vũ trụ của chúng tôi được tích lũy, đó là tất cả các yếu tố của vũ trụ cũng là các yếu tố của vũ trụ .
Tuy nhiên, khi tôi nhìn vào các quy tắc hình thành cho các loại khác nhau trong phụ lục A, thoạt nhìn, nếu một vũ trụ xuất hiện phía trên thanh làm tiền đề, cùng một vũ trụ xuất hiện bên dưới. Ví dụ cho quy tắc hình thành các loại sao chép:
Vì vậy, câu hỏi của tôi là tại sao một hệ thống phân cấp cần thiết? Trong hoàn cảnh nào bạn cần phải nhảy từ vũ trụ lên một cấp cao hơn trong hệ thống phân cấp? Nó thực sự là không rõ ràng để tôi làm thế nào đưa ra bất kỳ sự kết hợp của , bạn có thể kết thúc với một loại có nghĩa là không ở . Chi tiết hơn: các quy tắc hình thành trong các phần của phụ lục A.2.4, A.2.5, A.2.6, A.2.7, A.2.8, A.2.9, A.2.10, A.3.2, hoặc đề cập đến trong tiền đề và phán đoán, hoặc chỉ trong bản án.
Cuốn sách cũng gợi ý rằng có một cách chính thức để gán vũ trụ:
Nếu có bất kỳ nghi ngờ nào về việc một đối số có chính xác hay không, cách để kiểm tra nó là cố gắng gán các mức nhất quán cho tất cả các vũ trụ xuất hiện trong đó.
Quá trình để gán mức nhất quán là gì?
sẽ dẫn đến nghịch lý Russell . Tránh nghịch lý Russell được đề cập rõ ràng trong cuốn sách (trang 24). Nó cũng đi sâu vào chi tiết trang 54, 55 sử dụng các vũ trụ theo phong cách của Russell Russell chứ không phải là vũ trụ theo phong cách của Tarski. Vì vậy, ở mức độ rất cao, tôi chấp nhận rằng lý thuyết muốn tránh nghịch lý. Thật không may, tôi không có nền tảng để hiểu điều đó trực tiếp. Những gì tôi có sau câu hỏi này, thực sự chỉ là trầy xước bề mặt bằng cách lấy một số ví dụ về những điều trong và không phải trong cho và có thể là bất cứ điều gì khác mang lại cho tôi cảm giác cho cách thức phân cấp làm việc.