Nguyên sổ học( anh ngữ:Metamathematics), hựu dịch vi siêu sổ học, sử dụngSổ họcKỹ thuậtLai nghiên cứu sổ học bổn thân đích nhất mônHọc khoa.Nhất bàn lai thuyết, nguyên sổ học thị nhất chủng tương sổ học tác viNhân loạiÝ thứcHòaVăn hóaKhách thểĐíchKhoa học tư duyHoặcTri thức.Canh tiến nhất bộ lai thuyết, nguyên sổ học thị nhất chủng dụng lai nghiên cứu sổ học hòaSổ học triết họcĐích sổ học. “Sổ học đích sổ học” thị vu 19 thế kỷ sơ do thông thường đích sổ học phân ly xuất lai đích, tha tối sơ nghiên cứu đích đối tượng thị tại sở vị đíchSổ học nguy cơ.Tương nhị giả hỗn vi nhất đàm hội đạo trí nhất taMâu thuẫn,Điển hình lệ tử hữuLý tra đức bội luận.
Bỉ như thuyết, nguyên sổ học đích chủ đề chi nhất tựu thị: Phân tích mỗ ta sổ học yếu tố thị phủ tại nhậm ý đích sổ học hệ thống trung đô thị khả chứng thật hoặc giảChứng ngụyĐích.
Hứa đa quan vu sổ học cơ sở dữ sổ học triết học đích luận thuyết đô thiệp cập nguyên sổ học đích khái niệm, tha môn vãng vãng bất năng bị đương tác ngã môn thông thường sở thuyết đích “Vấn đề” lai xử lý. Nguyên sổ học đích cơ bổn giả thiết thị: Sổ học đích nội dung khả dĩ do nhất cá hình thức hệ thống hoạch đắc, bỉ như nhất cá tự lý luận hoặc nhất cá công lý hóa tập hợp luận.
Nguyên sổ học dữ sổ lý la tập hưu thích tương quan, nhân nhi giá lưỡng giả đích phát triển dã đại đồng tiểu dị. Nguyên sổ học đích phát đoan đại khái yếu truy tố đáoPhất lôi cáchĐích công tác: 《Khái niệm văn tự》.Đại vệ · hi nhĩ bá đặcThủ tiên dẫn tiến liễu đái hữu chính tắc tính đích “Nguyên sổ học” ( metamathematics with regularity ) giá nhất thuyết pháp ( kiếnHi nhĩ bá đặc kế hoa). Giá dã tựu thị hiện tại sở thuyết đíchChứng minh luận.Lánh nhất cá trọng yếu đích hiện đại phân chi thịMô hình luận.Giá nhất lĩnh vực đích kỳ tha trọng yếu nhân vật hữu:Bá đặc lan · la tố,Tư khoa nhĩ mỗ ( Thoralf Skolem ), phổ tư đặc ( Emil Post ),Khâu kỳ,Khắc lai ni,Khoái nhân,Bối nạp sắt lạp phu ( Paul Benacerraf ),Phổ đặc nam,Sài đinh ( Gregory Chaitin ), dĩ cập tối trứ danh đíchTháp tư cơHòaCa đức nhĩ.Đặc biệt địa, ca đức nhĩ chứng minh liễu: Cấp định nhậm ý hữu hạn đa điềuBì á nặc toán thuậtĐích công lý, đô tồn tại nhất ta chính xác đích mệnh đề, vô pháp dụng sở cấp công lý lai chứng minh, tức sở vị đíchCa đức nhĩ bất hoàn bị định lý.Mỗ chủng ý nghĩa thượng lai thuyết, giá nhất kết quả thị hất kim vi chỉ nguyên sổ học dữ sổ học triết học đích tối cao thành tựu.
