در تعریف خیر. باید پیشساخته باشه.
با کمی مسامحه میشه مثالی رو ایجاد کرد که کمی مناقشهبرانگیز باشه. فرض کنیم در یک زبان برنامهنویسی نوع دادههای پایه مانند integer
رو به صورت پیشساخته تعریف نکنیم. در این صورت اگه یه برنامهنویس این نوع داده رو خودش بنویسه و به زبان اضافه کنه ممکنه بهش بتونیم عنوان اولیه بدیم. گرچه با تعریف نمیخونه.
هیچ پژوهش انسانی نمیتواند ادعای علمی بودن داشته باشد، مگر اینکه از برهان ریاضی برخوردار باشد (لئوناردو داوینچی)