フリードバーグ・ナンバリング
単射なナンバリング
アクセプタブル・ナンバリングなら成立するが、フリードバーグ・ナンバリングなら不成立になる定理の例
S-m-n定理
ライスの定理
https://ja.wikipedia.org/wiki/フリードバーグ・ナンバリング