The paper discusses problems which arise in attempts to axiomatize parts of religion or religious belief systems. Besides those problems already investigated by Bochenski, like that of the propositional content or the meaning of religious discourse there are several further ones. This paper deals with the question whether full Classical Logic is suitable, whether one universe of discourse is sufficient, how to use definitions and analogous concepts and whether justifications satisfy credibility criteria.

An argument against multiply instantiable universals is considered in neglected essays by Stanislaw Lesniewski and I.M. Bochenski. Bochenski further applies Lesniewski's refutation of universals by maintaining that identity principles for individuals must be different than property identity principles. Lesniewski's argument is formalized for purposes of exact criticism and shown to involve both a hidden vicious circularity in the form of impredicative definitions and explicit self-defeating consequences. Syntactical restrictions on Leibnizian indiscernibility of identicals are recommended to forestall Lesniewski's paradox.