クワス算

http://mochisava.blogspot.jp/2013/09/blog-post.html
哲学者クリプキの提示した、定義を確定出来ないkとに対する例で使われたもの。