contoh kalimat 数学归纳法

• Keuntungan dari program terstruktur adalah ia cocok dengan pembuktian kebenaran menggunakan induksi matematika.
  这个算法的正确性可以用数学归纳法来证明。
• Ia merumuskan hukum De Morgan dan mengenalkan istilah induksi matematika.
  他明确陈述了德摩根定律，将数学归纳法的概念严格化。