Prevodi za „aksjomat“ u rečniku poljski » nemački

aksjomat <gen ‑u, pl ‑y> [aksjomat] N m form

aksjomat

Axiom nt

Jednojezični primeri (nisu ih verifikovali PONS urednici)

poljski

Prawa przyrody są ostatnim i najsilniej związanym ze światem doświadczenia, elementem struktury formalnej, która zaczyna się od aksjomatów.

pl.wikipedia.org

W ten sposób nauka buduje teorie naukowe w postaci systemów dedukcyjnych, złożonych z zasad wyjściowych (aksjomatów, postulatów) oraz twierdzeń z nich wynikających.

pl.wikipedia.org

Sformułował i udowodnił twierdzenie o łańcuchu maksymalnym, które jest równoważne aksjomatowi wyboru.

pl.wikipedia.org

Zakładając aksjomat wyboru, można jednak udowodnić istnienie niemierzalnych podzbiorów prostej.

pl.wikipedia.org

Na mocy tego założenia oraz aksjomatów pozostałych próbował wyprowadzić sprzeczność.

pl.wikipedia.org

Pojawiały się próby aksjomatyzacji kolejnych dziedzin matematyki, niekiedy bardzo kontrowersyjne, jak w przypadki logiki, gdzie przyjęcie, bądź nie, aksjomatu wyboru podzieliło społeczność matematyków.

pl.wikipedia.org

Zbiór aksjomatów i wszystkich możliwych twierdzeń nazywa się domknięciem zbioru aksjomatów ze względu na wyprowadzanie.

pl.wikipedia.org

Bez aksjomatu wyboru powyższą definicję można stosować jedynie do zbiorów dobrze uporządkowanych.

pl.wikipedia.org

Źródło popularności aksjomatów forsingowych tkwi w możliwości wyeliminowania dość skomplikowanych dowodów niesprzeczności pewnych stwierdzeń przy użyciu forsingu iterowanego.

pl.wikipedia.org

W matematyce formalnie dowody twierdzeń konstruuje się w systemach formalnych zawierających aksjomaty oraz reguły dedukcji (wyprowadzania).

pl.wikipedia.org