אנגלית ⇄ גרמנית סינית +

antecedent theorem
.בינה	Antezedenstheorem n; a-priori-Theorem n