aksjomat, a właściwie nieskończony przeliczalny zbiór aksjomatów pierwszego rzędu, pozalogicznych rozważany zwłaszcza w teorii arytmetyki liczb naturalnych. krzyżówka

brytyjski polityk, mówca, strateg, pisarz i historyk, dwukrotny premier Zjednoczonego Królestwa, laureat literackiej Nagrody Nobla, honorowy obywatel Stanów Zjednoczonych. wrogi wobec Winstona Churchilla i jego polityki. w logice matematycznej: metoda efektywnego numerowania wszystkich wyrażeń języka badanej teorii za pomocą liczb naturalnych. przeciwny ustaleniom soboru w Chalcedonie z 451 roku, wrogi wobec tego, co związane z Soborem chalcedońskim. rzymski polityk, wódz, dyktator i pisarz z I w. p.n.e. rodzaj dowodu matematycznego istnienia pewnych obiektów (zbiorów, liczb, figur geometrycznych o pewnych własnościach), zwykle nie wprost, w którym wykazuje się, że nieprawdziwość tezy twierdzenia pro rozumowanie matematyczne korzystające z zasady indukcji matematycznej. konstrukcja, która ułatwia rozumowania dotyczące składni wyrażeń logicznych. przeciwny, wrogi wobec prezydenta Stanów Zjednoczonych Billa Clintona i jego polityki. w latach 1993–2001 42. prezydent Stanów Zjednoczonych, w latach 1976–1978 prokurator generalny stanu Arkansas, w latach 1978–1980 i następnie w okresie 1982–1992 gubernator stanu Arkansas, baptysta, mieszkaniec Suazi, człowiek pochodzenia suazyjskiego. mieszkanka Suazi, kobieta pochodzenia suazyjskiego. przychylnie nastawiony wobec cudzoziemców. przeciwny wobec Cycerona i tego, co z nim związane. w logice i dyscyplinach pokrewnych obowiązek udowodnienia stawianej tezy.