Axioms allow you to choose which statements are true in a formally defined system (like ZF set theory or euclidian geometry). Examples like the axiom of choice or parallel postulate require faith in their truth value for any of the statements that follow those axioms to be true.
Any system of reasoning requires some statements be true, and axioms are those bedrock statements that are taken as truths because we require no proof for them. We require no proof because we have faith they are true.
BitcoinAlchemist / James Pierog
npub1u8…xjcky
2024-07-12 11:02:31
in reply to nevent1q…ll5n
Author Public Key
npub1u8r69esh5r7jt29nj9ufmz4yvuwp6cwl5xqp4e3d46vl8wla5smsexjckyPublished at
2024-07-12 11:02:31Event JSON
{
"id": "579e453c23456cbf7b813a3231f5d4e7981246a0fd82e782739abbeda7630280",
"pubkey": "e1c7a2e617a0fd25a8b391789d8aa4671c1d61dfa1801ae62dae99f3bbfda437",
"created_at": 1720782151,
"kind": 1,
"tags": [
[
"e",
"a87c882c8977c52438fc9287142aae4525cef44620a735f06353664d576ae9e1",
"wss://relay.damus.io",
"root"
],
[
"e",
"7fa40a7328dbfdb0c995f3b1b961c6da1cd6a3196d60e4ce3312968c6235cc4e",
"wss://nos.lol",
"reply"
],
[
"p",
"45f195cffcb8c9724efc248f0507a2fb65b579dfabe7cd35398598163cab7627"
]
],
"content": "Axioms allow you to choose which statements are true in a formally defined system (like ZF set theory or euclidian geometry). Examples like the axiom of choice or parallel postulate require faith in their truth value for any of the statements that follow those axioms to be true.\n\nAny system of reasoning requires some statements be true, and axioms are those bedrock statements that are taken as truths because we require no proof for them. We require no proof because we have faith they are true.",
"sig": "daca98d121c4c476df0ff41addc7f7f4ee124a437c919bcf84b8c0a5b744b7d9e84b1ef409bafe9e5ef9e098dad56170742e7c19413002c2c889e755b6ec916a"
}