Kiel registrite je 12:04, 27 sep. 2008 redakti Maksim (diskuto \| kontribuoj) Patrolantoj 34 175 redaktoj Nova paĝo: En matematiko, la termino '''aksiomo de Cantor-Dedekind''' estas uzata por priskribi tezon ke la reelaj nombroj estas ordo-izomorfiaj al la lineara [[k...		Kiel registrite je 15:49, 12 nov. 2008 redakti malfari 194.95.67.1 (diskuto) 2 Vikiligoj Iru al sekvanta ŝanĝo →
Linio 1: ::'' '(?)' signifas dubo aŭ eĉ traduk-erararo (el la angla fonto).'' En [[matematiko]], la termino '''aksiomo de Cantor-Dedekind''' estas uzata por priskribi tezon ke la [[reela nombro\|reelaj nombroj]] estas ordo-[[izomorfio\|izomorfiaj]] al la lineara [[kontinuaĵo (matematiko)\|kontinuaĵo]] en [[geometrio]]. En aliaj vortoj la aksiomo statas ke estas unu al unu respektiveco (rilato) inter reelaj nombroj kaj punktoj de [[linio]] ([[rekto]]). Ĝi ne estas [[aksiomo]] en la ordinara matematika senco.▼ ▲En [[matematiko]], la termino '''aksiomo de [[Georg Cantor\|Cantor]]-[[Julius Wilhelm Richard Dedekind\|Dedekind]]''' estas uzata por priskribi tezon (?)<!--teoremon!?-->, ke la [[reela nombro\|reelaj nombroj]] estas ordo-[[izomorfio\|izomorfiaj]] al la lineara [[kontinuaĵo (matematiko)\|kontinuaĵo]] en [[geometrio]]. En aliaj vortoj la aksiomo statas, ke estas unu al unu respektiveco (rilato) inter reelaj nombroj kaj punktoj de [[linio]] ([[rekto]]). Ĝi ne estas [[aksiomo]] en la ordinara matematika senco. Ĉi tiu aksiomo estas grava por [[analitika geometrio]]. La [[karteziaj koordinatoj]] aparte alprenas ĉi tiun aksiomon per miksado de la malsamaj konceptoj de reela nombra sistemo kun la geometria linio aŭ ebeno en [[koncepta metaforo\|konceptan metaforon]]. Ĉi tio estas nomata kiel la [[reela linio\|reela linia]] mikso. Konsekvenco de ĉi tiu aksiomo estas pruvo de [[Alfred Tarski]] depri tio, ke [[decideblo (logiko)\|decideblo]] de la ordigita reela kampo povas vidiĝi kiel [[algoritmo]] al solvado de iu problemo en [[eŭklida geometrio]]. [[Kategorio:Matematikaj aksiomoj]]

Aksiomo de Cantor-Dedekind: Malsamoj inter versioj