e/tr/Oluşturarak tanıtlama

Information
instance of	(noun) a formal series of statements showing that if one thing is true something else necessarily follows from it proof

Meaning
Turkish
has gloss	tur: Matematikte oluşturarak tanıtlama istenen özelliğe sahip somut bir örnek oluşturularak ya da böyle bir nesneyi oluşturma yöntemi verilerek, istenen özellikte bir matematiksel nesnenin var olduğunun tanıtlandığı bir yöntemdir. Bu yöntem, belirli özelliklere sahip olan matematiksel bir nesnenin var olduğunu tanıtlayan fakat bu nesnenin bir örneğini oluşturmak için yol göstermeyen oluşturmacı olmayan tanıtlama yöntemine karşıttır.
lexicalization	tur: Oluşturarak tanıtlama