Axiomatizácia
z Wikipédie, slobodnej encyklopédie
Axiomatizácia je zavádzanie axióm do určitého vedného odboru a podobne.
Zo sústavy axióm by sa mali dať odvodiť všetky možné dôsledky, všetky vlastnosti objektov a procesov danej disciplíny. Pôvodne sa axiomatizácia používala v matematike, ale v súčasnosti sa s axiomatizáciou pracuje i v iný vedách, napríklad axiomatická kvantová fyzika.
[upraviť] Externé odkazy
- FILIT Zdroj, z ktorého pôvodne čerpal tento článok