Loại tiên đề nào được von Neumann sử dụng trong công trình mạng tinh thể của mình?
Ngoài ra, "[I]n trường hợp tổng quát, von Neumann đã chứng minh định lý biểu diễn cơ bản sau đây. Bất kỳ lưới mô đun bổ sung L nào có "cơ sở" của n≥4 các phần tử phối cảnh theo cặp, là đẳng cấu với lưới R (R) của tất cả các lý tưởng phải chính của một vành thông thường phù hợp R. Kết luận này là đỉnh cao của 140 trang đại số rực rỡ và sắc nét liên quan đến các tiên đề hoàn toàn mới lạ. Bất cứ ai muốn có được một ấn tượng khó quên về lưỡi dao cạo của tâm trí von Neumann, chỉ cần cố gắng theo đuổi chuỗi lý luận chính xác này cho chính mình - nhận ra rằng thường năm trang của nó được viết ra trước bữa sáng, ngồi tại bàn viết trong phòng khách trong áo choàng tắm. "
tiên đề tiểu thuyết