Sanakirja
Tekoälykääntäjä
| Käännös | Konteksti | Ääninäyte | |
|---|---|---|---|
| Substantiivit | |||
| 1. | axiome {m} | matematiikka, filosofia, logiikka |
|
Määritelmät
Substantiivit
- (philosophy) A seemingly self-evident or necessary truth which is based on assumption; a principle or proposition which cannot actually be proved or disproved.
- (mathematics, logic, proof theory) A fundamental assumption that serves as a basis for deduction of theorems. Examples: "Through a pair of distinct points there passes exactly one straight line", "All right angles are congruent".
- An established principle in some artistic practice or science that is universally received.
Esimerkit
- Can we then find axioms as self-evident as those of Arithmetic, on which we can build as on a sure foundation, which could be shaken only by a scepticism which should attack the whole fabric of our knowledge?
- The axioms read as follows. For every composable pair f and g the composite f ° g goes from the domain of g to the codomain of f. For each object A the identity arrow 1_A goes from A to A. Composing any arrow with an identity arrow (supposing that the two are composable) gives the original arrow. And composition is associative.
- The axioms of political economy cannot be considered absolute truths.
Taivutusmuodot
| Monikko | axioms |