מה פתאום
נטל ההוכחה שלדבר מסודר יש מסדר היא על זה שטוען שיש, משום שנטל ההוכחה הוא תמיד על זה שטוען שיש משהו. אי אפשר לדרוש (בהגינות) להוכיח שאין משהו, משום שגישה זו תוביל אותנו למספר אינסופי של דרישות כאלה. מול הדרישה שלך שיוכח שאין מסדר, אני יכול לדרוש שתוכיח שאין פיות, שאין דרקונים, שאין סוסים שדוברים עברית וכולי וכולי, כיד הדמיון הטובה.