昨日不完全性定理を使う機会がありました。

I had a chance to use "(Goedel's) incompleteness theorem" yesterday.

筆界特定制度の意味を調べました。

I looked up the meaning of "(Japanese) land registration system".