>>925-926
介護の技術は証明を読むのにいらない
計算可能な実数と計算可能でない実数は
君が好きな数理論理の一分野の再帰理論の応用で出て来る