Иногда неясно, какая категория у цитаты. Да и юмористические, наоборот, тоже можно было бы разделить на бред и остроумие.
Ну иногда не ясно, а иногда ясно. Иногда не ясно относить тему к ПРР(М) или ПРР(Ф) (не говоря уже о делении между "Физикой" и "Астрономией"). К тому же заметьте, что деление на "бред" и "остроумие" - это деление по структуре забавных сообщений (а иначе зачем кому-то нужно бы было ложить в цитатник бред, как не затем, чтобы с него посмеяться?), в то время как деление на "ценные мысли" и "забавные сообщения" всё-таки по цели сообщения: сделать смешно и заставить подумать (хотя мысль о том, что это примерно одно и то же мне нравится, наблюдение достойное Лакана ^^).
Мне кажется, нестандартные модели ZFC — это немного другое дело. Если мы всё нужное себе выразили в ZFC, то как на нас скажется их существование?
Ну вот тем и мешает: ZFC ведь просто дедуктивная система, пользуясь ей мы можем сформулировать и доказать некоторое утверждение вида

, гарантирует ли это, что есть конечная строка вида

которая будет номером шага, на котором алгоритм

остановится? Нет, не гарантирует.