有限Kripkeフレームは何個あるのか？