หลักฐานโดยอุปนัยทางคณิตศาสตร์

  บทความหลัก: อุปนัยคณิตศาสตร์

     ในการ พิสูจน์โดยอุปนัยทางคณิตศาสตร์ [8], แรกกรณีฐาน “” จะพิสูจน์และอุปนัยกฎ “” จะใช้ในการพิสูจน์ (อนันต์ บ่อย) ชุดกรณีอื่นๆ ตั้งแต่กรณีฐานเป็นจริงไม่มีที่สิ้นสุดของ
คดีอื่นๆจะต้องเป็นจริงแม้ว่าทั้งหมดของพวกเขาไม่สามารถพิสูจน์ได้โดยตรงเนื่องจากจำนวนมากมายของพวกเขา เซตย่อยของอุปนัยเป็น โคตรอนันต์ สิ้นสุดลงสามารถใช้ในการพิสูจน์
ความไม่ลงตัวของรากที่สองของสอง

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s