Аксиоматски систем
From Wikipedia, the free encyclopedia
У математици, аксиоматски систем је било који скуп аксиома из којих се неке или све аксиоме могу користити у вези са логичким извођењем теорема. Математичка теорија се састоји од аксиоматског система и свих изведених теорема. Аксиоматски систем који је у потпуности описан је посебан облик формалног система. Формална теорија типично значи аксиоматски систем, на пример формулисан унутар теорије модела. Формални доказ је комплетно извођење математичког доказа унутар формалног система.