Ugugug: Ben ikisini bir arada kullanmak durumundayım, ben bir matematikçiyim. Sonucun yarısı tümdengelirken, yarısı tümevarıyordur. Nasıl oluyor derseniz çok karışık bir şey, sonsuzda olduğunuzu düşünün ama o sonsuz aslında sonsuz olmasın. Bir de tabii ki teoremlerde, eski teoremler tümdengelim aşamasında kabul edilerek tümevarım da uygulanabilir. Tümevarım çeşitleri de çok, matematiksel tümevarım, güçlü tümevarım, zayıf tümevarım, sonluötesi tümevarım ... vb.