matematikçilerin saçma teoremleri

• bir mühendisin, görünen köy kılavuz istemez şeklinde yaklaştığı şeylerin ispatları hakkındaki yorumu
  
  - her doğal sayı kümesinin bir 'en küçük eleman'ı vardır
  - vardır işte ne yani?
  
  halbuki kılavuz istemeyen köyler sadece aksiyomlardır. yani öyle olması gerekir. 'bana öyle geliyor ki' ler dehşetengiz bir görüş keskinliğine delalet ediyor olsalar da, hatta ufuk açıyor olsalar da, aksiyomlar/teoremlerle desteklenmeleri gerekir