数理論理学（数学基礎論）　その14

384 ：１３２人目の素数さん：2021/05/23(日) 11:17:32.02 ID:f0/KUFEM.net

簡単だが長引く証明を省略するのはデフォ
自分でやるのは推奨だが他人に提供するのは余計なお世話