存在例化そんざいれいか<そん'ざい>・れい'か5

Logikexistentielle Instantiierung