Enciclopedia EinaudiG. Einaudi, 1979 |
도서 본문에서
82개의 결과 중 1 - 3개
512 페이지
... Esiste almeno un F ' = ar ( x ) Fx . Una classe F possiede al piú un membro se qualunque x e y tali che Fx e Fy sono sempre uguali : ' Esiste al piú un F ' = af ( x ) ( y ) ( ( Fx ^ Fy ) .Ɔ . x = y ) . Infine , una classe F possiede ...
... Esiste almeno un F ' = ar ( x ) Fx . Una classe F possiede al piú un membro se qualunque x e y tali che Fx e Fy sono sempre uguali : ' Esiste al piú un F ' = af ( x ) ( y ) ( ( Fx ^ Fy ) .Ɔ . x = y ) . Infine , una classe F possiede ...
526 페이지
... Esiste un insieme infinito . ( In effetti , esiste un insieme che contiene l'in- sieme vuoto e che è chiuso rispetto alla formazione dell'insieme potenza ) . = Viene inoltre assunto l'assioma di estensionalità ( il quale dice che x e y ...
... Esiste un insieme infinito . ( In effetti , esiste un insieme che contiene l'in- sieme vuoto e che è chiuso rispetto alla formazione dell'insieme potenza ) . = Viene inoltre assunto l'assioma di estensionalità ( il quale dice che x e y ...
532 페이지
... esiste nessun metodo funzionante in ogni caso che pos- sa dire quando una formula del sistema non è un teorema . Non esiste , cioè , nes- sun « procedimento di decisione » per l'aritmetica di Peano ( per non parlare dei Principia o ...
... esiste nessun metodo funzionante in ogni caso che pos- sa dire quando una formula del sistema non è un teorema . Non esiste , cioè , nes- sun « procedimento di decisione » per l'aritmetica di Peano ( per non parlare dei Principia o ...
기타 출판본 - 모두 보기
자주 나오는 단어 및 구문
acidi nucleici alcuni allora amminoacidi applicazioni asserzioni base calcolo proposizionale caso certo classe complesso concetto concezione condizioni conoscenza considerata costituisce cultura culturale definire definizione determinato diffeomorfismi differenza elementi empiriche enunciati epistemologica esempio esiste faglie trasformi fenomeni filosofia fisica fondamentale fonetica forma formula fotone frase funzione generale globale grammatica grammatica generativa gruppo ibid insieme labirinto lavoro legami covalenti leggi lettura libertà lingua linguaggio linguistica litosfera livello locale logica macchine macromolecole marginalità Marx maschera masse matematica mente modello molecole mondo natura naturale nozione numero nuovo oggetti osservare parola politica possibile possono principio problema processo prodotto produzione proprietà proprio proteine rapporto rappresentazione realtà regole relazione risultati saussuriana scientifica scienza secolo semantica senso significa significato simbolo Sintagma sistema sociale società soltanto specifica storico struttura subduzione superficie di Riemann sviluppo tale tecnica teorema teoria teoria degli insiemi teorica termini Tōrāh trad tratta umana universale valore viene XVI secolo zione zolle