Páter Zoltán: A sarkigazságtól a bizonyításelméletig – avagy beszéljünk metanyelven
Korunk matematikáját az axiomatikus gondolkodás jellemzi. Szinte minden matematikai diszciplínát axiomatikusan építünk fel, azok pedig, amelyeket nem ilyen alapvetés nyomán tárgyalunk – axiomatikusan megalapozott diszciplínákban gyökereznek. Felmerülhet a kérdés, hogy…


