Categories | Data |
---|---|
ARTIST: | Mauricio Reyes |
FORMAT: | CD-R |
PROGRAM: | Long Play |
RELEASE: | Feb. 1, 2022 |
LABEL: | Telekinett |
CAT#: | Tele 024 |
UPC: | N/A |
Mauricio Reyes
CYCOM: Axiomatic System
CYCOM: Axiomatic System
$19.99
In stock
In stock
Description
Axiomatic System
Originally released in 2020 under the CYCOM moniker. Axiomatic System would subsequently be reissued with a new catalog number and under the artist’s own name during the 9 Beet Stretch 2.0 fundraiser. Contains a single 1 hour track made up of two movements.
An axiom is a basic statement assumed to be true and requires no proof of its truthfulness. It is a fundamental underpinning for a set of logical statements. Not everything counts as an axiom. It must be simple, make a useful statement about an undefined term, evidently true with a minimum of thought, and contribute to an axiomatic system.
In mathematics, an axiomatic system is any set of axioms from which some or all axioms can be used in conjunction to logically derive theorems. A theory is a consistent, relatively self-contained body of knowledge that usually contains an axiomatic system and all its derived theorems.
An axiomatic system that is completely described is a special kind of formal system. A formal theory is an axiomatic system (usually formulated within the model theory) that describes a set of sentences that is closed under logical implication. A formal proof is a complete rendition of a mathematical proof within a formal system.
Please Note: This is a CD-R release.
Reviews
There are no reviews yet.