Jaká je logická výstavba matematiky? - Katětov, Miroslav (JČMF, 1950)