: Theorem XXX: " The following classes of partial functions are coextensive, i. e. have the same members: ( a ) the partial recursive functions, ( b ) the computable functions.
」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」」＜第２章　物質の構成粒子＞（教p19-）