Đóng góp của 27.3.124.50
Giao diện
Của 27.3.124.50 thảo luận nhật trình cấm nhật trình nhật trình cấm toàn cục nhật trình sai phạm
ngày 16 tháng 2 năm 2019
- 16:5816:58, ngày 16 tháng 2 năm 2019 khác sử +1 Các định lý bất toàn của Gödel →Hệ thống chính thức: sự hoàn hảo, sự nhất quán và sự tiên đề hóa hiệu quả: sửa lỗi thiếu dấu : ''la'' thành ''là'' Thẻ: Soạn thảo trực quan