Wat is axiomatisch:
axiomatisch is iets evident, onbetwistbaar, onbetwistbaar, onmiskenbaar, onweerlegbaar, onweerlegbaar, zeker, bewezen, duidelijk, het is iets ten opzichte van de axioma's, dat niet vals of twijfelachtig is. Axiomatic heeft een betekenis in verschillende wetenschappen, zoals logica, wiskunde, techniek, allemaal met theorieën over axioma's.
In de logica is er de axiomatisch systeem, wat een vorm van deductieve theorie is, opgebouwd uit beginvoorwaarden die per definitie zijn ontwikkeld. In de wiskunde is er ook een axiomatisch systeem, een reeks axioma's die kunnen worden gebruikt voor de logische afleiding van stellingen, door middel van deducties.
Evenzo kan een axiomatisch systeem zijn axioma's formeel of informeel uitdrukken. Wanneer elk axioma, dat formele taal gebruikt, een eindige reeks tekens in dit alfabet is, en die reeks een goed gevormde formule is volgens combinatorische regels, wordt het genoemd formele axiomatisering. Wanneer ondubbelzinnige definities worden gebruikt met een geformaliseerde natuurlijke taal, wordt dit genoemd informele axiomatisering. boeken over wiskunde en andere formele disciplines schrijven axioma's meestal op deze manier.
In de logica is axiomatisch wanneer een axioma, ook wel een postulaat genoemd, een zin is die niet is bewezen of bewezen, en ondanks dit als voor de hand liggend wordt beschouwd, is het een consensus om een theorie te kunnen accepteren.
