Encyklopedia PWN

Donieck, Donećk, Donets'k, do 1924 Juzowka, 1924–61 Stalino,

m. obwodowe w południowo-wschodniej części Ukrainy, nad rz. Kalmius.

Donieckie Zagłębie Węglowe, ukr. Donećkyj kamjanowuhilnyj basejn, Donbas, ros. Doniẹckij ụgolnyj bassiẹjn, Donbạss,

zagłębie węglowe na Ukrainie, w obwodach donieckim, ługańskim, dniepropetrowskim, częściowo w połtawskim i charkowskim oraz w Rosji (obwód rostowski);

Dorohostajski Krzysztof Mikołaj, ur. 2 III 1562, zm. 3 VIII 1615, Wrocław,

polityk, żołnierz, miłośnik koni;

Doumer

[dumẹr]

Paul

, ur. 22 III 1857, Aurillac, zm. 6 V 1932, Paryż,

polityk francuski;

dowód formalny,

mat. ciąg formuł języka danej teorii sformalizowanej o tej własności, że każda formuła w ciągu jest aksjomatem teorii lub należy do zbioru Z (d.f. ze zbioru formuł Z) lub jest wnioskiem pewnej reguły wnioskowania, której przesłanki występują wcześniej w ciągu;

dowód ontologiczny,

filoz. jeden z typów filozoficznego dowodu na istnienie Boga (metafizyka);

Encyklopedie i leksykony PWN – zobacz ofertę >>