Posted inPost
Nedualna Matematika – Formalni Model
NM – formalni model (neoboriv, sa oštrim granicama, kompatibilan sa DM, bez curenja u klasičnu aritmetiku) 1. Cilj modela Sačuvati DM netaknutu (ZFC, Peanove aksiome, prsten celih brojeva). Uvesti Ω…