クリプキ
Meanings
Name
1. Kripke