来自专业的译者、企业、网页和免费的翻译库。
undecidability only implies that the particular deductive system being considered does not prove the truth or falsity of the statement.
undecidability only implies that the particular deductive system being considered does not prove the truth or falsity of the statement.
in a deductive theory, any sentence which is a logical consequence of one or more of the axioms is also a sentence of that theory.
Είναι επίσης πρόταση ή σύνολο προτάσεων που προσφέρονται ως υποθετική ερμηνεία για ένα παρατηρηθέν φαινόμενο, μια κατάσταση πραγμάτων, ή ένα γεγονός.
although the guidelines formulated by (he commission promise a certain degree of progress, they are all too often felt to be too deductive.
Αν και οι κατευθυντήριες γραμμές που διατυπώθηκαν από την Επιτροπή υπόσχονται κάποιο βαθμό προόδου, πολύ συχνά υπάρχει η αίσθηση ότι είναι υπερβολικά συμπερασματικές.
the first of these is the proof-theoretic sense used in relation to gödel's theorems, that of a statement being neither provable nor refutable in a specified deductive system.
the first of these is the proof-theoretic sense used in relation to gödel's theorems, that of a statement being neither provable nor refutable in a specified deductive system.
deductive method - the requirement that the goods shall have been sold in the 'condition as imported' in paragraph 1(a) of article 5 could be flexibly interpreted;
Επαγωγική μέθοδος: Η διάταξη, κατά την οποία τα εμπορεύματα πρέπει να έχουν πωληθεί στην κατάσταση που εισήχθησαν, η οποία περιλαμβάνεται στο άρθρο 5 παράγραφος 1 στοιχείο α) θα ήταν δυνατό να ερμηνεύεται με ελαστικότητα·