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