クリプキ

ウィキメディアの曖昧さ回避ページ

クリプキ (Kripke)