@article{GDZPPN002275872,
title = {\"Uber die Existenz unabh\"angiger Axiomensysteme zu unendlichen Satzsystemen},
journal = {Mathematische Annalen},
volume = {107},
year = {1933},
pages = {329-350},
zbl = {0005.33803},
url = {http://dml.mathdoc.fr/item/GDZPPN002275872}
}
Gentzen, G. Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen. Mathematische Annalen, Tome 107 (1933) pp. 329-350. http://gdmltest.u-ga.fr/item/GDZPPN002275872/