Dwa minusy dają plus

Dwa minusy dają plus – tym razem @myslejedno postanowił przyjrzeć się matematyce, a ściślej rzecz ujmując stary, jak świat aksjomat, że dwa minusy dają plus.

 

 

Dwa minusy dają plus – @myslejedno

 

Dwa minusy dają plus

 

 

Aksjomat

Aksjomat (postulatpewnik) (gr. αξιωμα [aksíoma] – godność, pewność, oczywistość) – jedno z podstawowych pojęć logiki matematycznej. Od czasów Euklidesa uznawano, że aksjomaty to zdania przyjmowane za prawdziwe, których nie dowodzi się w obrębie danej teorii matematycznej. We współczesnej matematyce definicja aksjomatu jest nieco inna:

Aksjomaty są zdaniami wyodrębnionymi spośród wszystkich twierdzeń danej teorii, wybranymi tak, aby wynikały z nich wszystkie pozostałe twierdzenia tej teorii. Taki układ aksjomatów nazywany jest aksjomatyką.

Prawdziwość

Model danej teorii musi spełniać wszystkie jej aksjomaty (tym samym w semantycznym sensie podczas modelowania zakłada prawdziwość tych aksjomatów). Wówczas wszystkie udowodnione na ich bazie twierdzenia danej teorii stosują się też do tak „przetłumaczonych” pojęć. Model jest w pewnym sensie praktycznym zastosowaniem danej teorii matematycznej.

https://pl.wikipedia.org/wiki/Aksjomat


#@myslejedno