切消定理

Gentzenscher Hauptsatz (S, Math)

qie1 xiao1 ding4 li3

Bedeutung / Übersetzung

Gentzenscher Hauptsatz (S, Math)

Chinesische Zeichen

切消定理

Langzeichen

切消定理