Evidence bụ chọrọ: ihe nlereanya nke ndị axiom

Gịnị na-akpata omimi okwu "axiom", si n'ebe o na ihe ọ pụtara? Schoolboy 7-8 ọkwa mfe-aza ajụjụ a n'ihi na-adịbeghị anya, na mmepe nke isi N'ezie nke ụgbọelu jiometrị, o nwere ọrụ: "Olee nke okwu na-akpọ axioms, nye ihe atụ." A ajụjụ yiri onye okenye yiri ka iduga ihere. The ọzọ oge na-aga ebe ọ bụ na-amụ ihe, na-ike ya bụ icheta ihe ndị bụ isi nke sayensị. Otú ọ dị, okwu "axiom" a na-eji na-adị kwa ụbọchị ojiji.

The definition

Ya mere, ihe na-akpọ axioms nke ihu ọma? Ihe Nlereanya nke axioms bụ nnọọ iche iche na-ejedebeghị na onye ọ bụla n'ime ebe nke sayensị. Kwuru okwu na-abịa site Greek asụsụ na pụtara n'ụzọ nkịtị "weere ọnọdụ".

A na nlezianya definition nke okwu na-ekwu na axiom - isi tesis nke ọ bụla nchepụta nke na-adịghị achọ ka ihe àmà. E nwere a zuru ebe nile echiche na mgbakọ na mwepụ (karịsịa jiometrị), mgbagha, nkà ihe ọmụma.

More oge ochie Greek Aristotle kwuru na ndị doro anya eziokwu, ndị na-egosi na-adịghị mkpa. Dị ka ihe atụ, ọ dịghị onye nwere obi abụọ na ìhè anyanwụ bụ naanị anya n'ụbọchị. M mepụtara a ozizi site ọzọ mathematicians - Euclid. Otu ihe atụ nke axiom banyere ukem edoghi na mgbe agafe ya.

N'ime oge ahụ, definition gbanwere. Ugbu a axiom aghọta bụghị nanị dị ka mmalite nke sayensị, na n'ihi n'etiti dị ka a ụfọdụ N'ihi ya, nke na-eje ozi dị ka a amalite n'ihu Ozizi.

Ihu si ụlọ akwụkwọ

Ụmụ akwụkwọ na-ẹkenam ka postulates anaghị achọ nkwenye na ihe nke mgbakọ na mwepụ. Ya mere, mgbe ụlọ akwụkwọ sekọndrị na-agụsị akwụkwọ nyere ọrụ: "Nye ihe atụ nke axioms", ha na-akacha na-eche ọmụmụ nke jiometrị na algebra. Ebe a na-atụ nke nkịtị na-aza:

• kpọmkwem mgbe e, na ọ na-emeso (ie ụgha na a ogologo akara) na-adịghị emetụta (adịghị na-edina na a ogologo akara);
• ị nwere ike ise a ogologo akara site ọ bụla abụọ ihe;
• agbaji ụgbọelu n'ime abụọ na ọkara ụgbọelu, ọ dị mkpa iji jide a ogologo akara.

Algebra na som na ihe doro anya na ụdị ndị dị otú ahụ na-azọrọ na-adịghị ndinọ, ma otu ihe atụ nke axiom pụrụ ịchọta ndị a na sayensị:

• ọ bụla nọmba hà ya;
• unit tupu niile eke nọmba;
• ma ọ bụrụ na k = l, mgbe ahụ, l = k.

N'ihi ya, site mfe adian na-ẹkenam elu ndị ọzọ echiche, mere nchoputa na wepụrụ Theorem.

Iwuli a na nkà mmụta sayensị ozizi dabeere axioms

Na-ewu a na nkà mmụta sayensị ozizi (n'agbanyeghị ụdị nnyocha na ajụjụ), ọ dị mkpa ndabere - ụlọ nkanka site na nke ọ ga-iputa. Ihe kachasi mkpa n'ime axiomatic usoro: eke a okwunkowa nke okwu, otu ihe atụ nke axiom a chepụtara na ndabere nke nke na-egosiputa ndị fọdụrụ postulates.

Scientific okwunkowa kwesịrị ịnwe isi banye n'eluigwe, ie ndị a na-apụghị ịkọwa via ọzọ:

• Sequentially akọwa onye ọ bụla okwu, na-eweta uru na ya, iru ọ bụla sayensị bases.
• Nzọụkwụ na-esonụ - njirimara nke a isi set nke a na-ekwu, nke kwesịrị zuru ezu maka ihe àmà nke ndị fọdụrụ assertions nke ozizi. Sami otu isi postulates na-nabatara na-enweghị ezi.
• The ikpeazụ nzọụkwụ - na-ewu na nkwubi okwu ezi uche nke ozizi.

Postulates nke dị iche iche na sayensị

Expression enweghị ihe àmà na-abụghị nanị na kpọmkwem sayensị, kamakwa ndị na-na-emekarị ekewet Humanities. A pụtara ìhè ihe atụ - a na nkà ihe ọmụma na-akọwa ihe axiom dị ka a na nkwupụta na ị pụrụ ịmụta na-enweghị ihe bara uru na ihe ọmụma.

Otu ihe atụ nke axiom bụkwa jurisprudence: "i nwere ike ikpe gị onwe gị na-eme." Dabere na nke a mma, mmepụta obodo iwu - ikpe n'eleghị mmadụ anya n'ihu, ya bụ, a ikpe apụghị ịnụ a bụrụ na ọ bụrụ na ọ bụ kpọmkwem ma ọ bụ n'ụzọ mmasị na ya.

Ọ bụghị ihe niile a tụrụ

Iji ghọta ihe dị iche n'etiti ezi axioms na mfe okwu, nke kwuru eziokwu, ọ dị mkpa inyocha ihe gasị ha. Ihe atụ, mgbe ọ na-abịa okpukpe, ebe ihe niile a tụrụ, e nwere ebe nile ụkpụrụ nke nkwenye zuru ezu na ihe bụ eziokwu n'ihi na ọ gaghị ekwe omume iji gosi. Na na ndị ọkà mmụta sayensị na-ekwu na ọ bụ omume na-elele ruo mgbe a na-na ọnọdụ, karị, ọ ga-abụ ihe axiom. Njikere inwe obi abụọ, elele azụ - nke ahụ bụ ihe gosiri ọdịiche a ezi ọkà mmụta sayensị.