Шта је Акиоматиц:
Аксиоматски је нешто очигледан, неупитна, неспорно, непорециво, необориво, непобитно, сигурно, доказано, јасно, то је нешто у односу на аксиоме, што није лажно или сумњиво. Аксиоматика има значење у разним наукама, као што су логика, математика, инжењерство, све оне са теоријама о аксиомима.
У логици постоји аксиоматски систем, који је облик дедуктивне теорије, изграђен на основу почетних услова који су развијени правилима дефиниције. У математици постоји и аксиоматски систем, који је скуп аксиома који се путем дедукција могу користити за логичко извођење теорема.
Слично томе, аксиоматски систем може изразити своје аксиоме формално или неформално. Када је сваки аксиом, користећи формални језик, коначни ланац знакова у овој абецеди, а тај низ је добро обликована формула која следи комбинаторна правила, назива се формална аксиоматизација. Када се користе једнозначне дефиниције са формализованим природним језиком, то се назива неформална аксиоматизација. књиге о математици и другим формалним дисциплинама обично пишу аксиоме на овај начин.
У логици, аксиоматичност је када је аксиом, који се назива и постулатом, реченица која није доказана или доказана, и упркос томе сматра се очигледном, консензус је да се може прихватити теорија.
