2
Chính thức hóa lý thuyết về tập hợp hữu hạn trong lý thuyết loại
Hầu hết các trợ lý chứng minh đều có sự chính thức hóa khái niệm "tập hợp hữu hạn". Tuy nhiên, những hình thức này khác nhau rất nhiều (mặc dù người ta hy vọng rằng tất cả chúng đều tương đương nhau!). Điều tôi không hiểu tại thời điểm …