การอ้างอิง
โดยทั่วไป การอ้างอิง คือการอ้างถึงบางสิ่ง หรือการอธิบายบางสิ่งหรือสิ่งที่แสดงถึงความเกี่ยวข้องกันระหว่างสองสิ่ง ความเกี่ยวข้องกันระหว่างสองสิ่งนั้นอาจเป็น หนังสือ สถานที่ หรือบทคัดย่อ เช่น ข้อมูล, ความคิด หรือความจำ สิ่งที่เป็นสิ่งอ้างอิง เรียกว่า ผู้ถูกอ้างอิง
การพิสูจน์เชิงคณิตศาสตร์
ในคณิตศาสตร์ การพิสูจน์เชิงคณิตศาสตร์ () คือการแสดงให้เห็นว่า ถ้าหากประพจน์ (หรือในบางกรณีเป็นสัจพจน์) บางอย่างเป็นจริงแล้ว ประพจน์ทางคณิตศาสตร์เป็นผลจากสมมุติฐานดังกล่าวที่จะต้องเป็นจริงด้วย เราจะเห็นได้ว่าการพิสูจน์เป็นการให้เหตุผลเชิงนิรนัย (deductive reasoning) มากกว่าที่จะเป็นการให้เหตุผลเชิงอุปนัย (inductive reasoning) หรือได้จากการวิพากษ์เชิงประจักษ์ หรือ ได้โดยจากประสบการณ์หรือการทดลอง (empirical argument) การพิสูจน์เชิงคณิตศาสตร์นั้น ต้องแสดงให้เห็นให้ได้ว่าประพจน์ที่เรากำลังพิสูจน์นั้นต้องเป็นจริงในทุกกรณี ซึ่งในกรณีที่ง่ายที่สุดอาจทำได้โดยการจำแนกให้เห็นทุกกรณีที่เป็นไปได้ และแสดงให้เห็นแต่ละกรณีนั้นเป็นจริงอย่างไร ไม่ใช่เพียงแค่แจกแจงแต่กรณีที่เราสามารถยืนยันได้เท่านั้น ในทางกลับกัน ประพจน์ที่ถูกเชื่อกันว่าเป็นจริง โดยที่เรายังหาวิธีพิสูจน์ไม่ได้เราเรียก ประพจน์เช่นนี้ว่า ข้อความคาดการณ์ () เช่น ข้อความคาดการณ์ของโกลด์บาค (Goldbach's conjecture) และ สมมุติฐานของรีมันน์ (Riemann hypothesis) เป็นต้น