- Erthygl am y defnydd o fewnmathemateg yw hon. Am ystyr llenyddol y gair, gwelergwireb.
Mewnmathemateg, maegwireb (weithiau: acsiom) yn ddatganiad a ystyrir yn gywir. Fe'i defnyddir fel man cychwyn ar gyfer rhesymu a dadleuon mathemategol pellach. Y gairGroeg ywaxíōma (ἀξίωμα) sef, 'yr hyn a ystyrir yn deilwng fel sy'n amlwg.'[1]
Mae gan y term wahaniaethau cynnil yn y diffiniad pan gaiff ei ddefnyddio yng nghyd-destun gwahanol feysydd astudio. Fel y'i diffinnir mewn athroniaeth glasurol, mae gwireb yn ddatganiad sy'n amlwg neu'n sefydledig, ei fod yn cael ei dderbyn heb ddadl ac yn ddi-gwestiwn. Fel y'i defnyddir mewnrhesymeg fodern, mae axiom yn syml yn fan cychwyn rhesymu pellach.[2]
O fewn mathemateg, defnyddir y term gwireb mewn dau ystyr: "gwirebau rhesymegol" a "gwirebau heb fod yn rhesymegol" (neu wireb 'anrhesymegol'). Mae gwirebau rhesymegol fel arfer yn ddatganiadau sy'n cael eu cymryd i fod yn wir o fewn y system o resymeg y maent yn ei ddiffinio (ee, bod (A aB) yn awgrymuA), a ddangosir yn aml fel symbolau, tra bod gwirebau heb fod yn rhesymegol (e.e.a +b =b +a) mewn gwirionedd yn honiad cadarn am elfennau o ddamcaniaeth fathemategol benodol (felrhifyddeg). Pan gaiff ei ddefnyddio yn yr ystyr olaf, gellir defnyddio "gwireb", "cynosod", a "rhagdybiaeth" i olygu fwy neu lai yr un peth. Yn gyffredinol, nid yw gwirebau heb fod yn rhesymegol yn hafal i'r 'gwir a dim ond y gwir', ond yn hytrach yn fynegiant rhesymegol ffurfiol a ddefnyddir mewn didyniad i adeiladu damcaniaeth fathemategol. Fel arfer ceir sawl ffordd o wirebu parth mathemategol penodol.
Felly, mae 'gwireb yn golygu dau beth, ond yr hyn sy'n gyffredin rhwng y ddau yw fod gwireb yn ddatganiad a ddefnyddir fel man cychwyn i ddatganiadau rhesymegol pellach. Testun llosg, sy'n perthyn i faes arall (athroniaeth mathemategol) yw gofyn a oes ystyr i'r honiad fod gwireb yn "wir".[3]
