گفت‌آورد نوشته اصلی از سوی Transcendence نمایش پست ها
خوب حالا می خواهیم نشان دهیم که ما مجوز استفاده از قضیه p را در Q نداریم پس اثبات نمی شود که روز پنجشنبه
امکان ندارد .
برعکس چیزی که نوشتم قضیه p از فرضیات اولیه نتیجه شده. بنابراین استفاده از p در Qمجاز است.