การให้เหตุผลแบบนิรนัยเป็นการนำความรู้พื้นฐานซึ่งอาจเป็นความเชื่อ ข้อตกลง กฎ หรือบทนิยาม ซึ่งเป็นสิ่งที่รู้มาก่อน และยอมรับว่าเป็นความจริงเพื่อหาเหตุผล  อ่านเพิ่มเติม

การให้เหตุผลแบบอุปนัย เป็นวิธีการสรุปผลมาจากการค้นหาความจริงจากการสังเกตหรือการทดลองหลายครั้งจากกรณีย่อยๆ แล้วนำมาสรุปเป็นความรู้แบบทั่วไป  อ่านเพิ่มเติม

จำนวนจริง คือจำนวนที่สามารถจับคู่หนึ่งต่อหนึ่งกับจุดบนเส้นตรงที่มีความยาวไม่สิ้นสุด (เส้นจำนวน) ได้ คำว่า จำนวนจริง นั้นบัญญัติขึ้นเพื่อแยกเซตนี้ออกจากจำนวนจิ  อ่านเพิ่มเติม

บทนิยาม      a < b     หมายถึง    a น้อยกว่า b  
                  a > b     หมายถึง    a มากกว่า b  
      อ่านเพิ่มเติม

คู่อันดับ (Order Pair) เป็นการจับคู่สิ่งของโดยถือลำดับเป็นสำคัญ เช่น คู่อันดับ a, b จะเขียนแทนด้วย (a, b) เรียก a ว่าเป็นสมาชิกตัวหน้า และเรียก b ว่าเป็นส  อ่านเพิ่มเติม

ฟังก์ชันค่าสมบูรณ์ถูกกำหนดโดยกฎซึ่งแบ่งออกเป็นสองกรณี ค่าฟังก์ชันสมบูรณ์ | | จะกำหนดโดย อ่านเพิ่มเติม