„Axiomatikus-deduktív módszer” változatai közötti eltérés
| [nem ellenőrzött változat] | [nem ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
a kozmetikai javítások |
a „Filozófia” kategória eltávolítva; „Matematikafilozófia” kategória gyors hozzáadása (a HotCatet használva) |
||
73. sor:
Amennyiben nem az a célunk, hogy egy adott elméletet axiomatikus módon tárgyaljunk, hanem hogy az axiomatikus elméletek általános tulajdonságait vizsgáljuk, akkor már elengedhetetlen, hogy formális elméleteket feltételezzünk. Ilyen vizsgálatokat a [[bizonyításelmélet]], a [[metamatematika]] és a [[modellelmélet]] végez.
[[Kategória:Filozófia]]▼
[[Kategória:Matematika]]
[[Kategória:Logika]]
[[Kategória:Matematikai logika]]
| |||