Gentzen-Like Random Axiomatic Systems