Izbrane teme sodobne fizike in matematike

Štirje redundantni aksiomski sistemi

V članku predlagamo skrčitve štirih aksiomskih sistemov, ki so praviloma redundantni v matematični literaturi.

Four redundant axiomatics

In the paper, we shorten four axiom systems which are redundant in the mathematical literature.