Ну, да, будет справедливо сказать, что любая такая теорема является результатом сделанных вами предположений; а именно, что это зависит от аксиом, которые вы постулировали. Простое - это имя, которое мы даем неприводимым величинам в нашей обычной системе работы, но вполне приемлемо создать совершенно другой набор аксиом, что приводит к тому, что разные «числа» являются неприводимыми. Тем не менее, я бы сказал, что большинство людей имеют ряд общих предположений. ZFC - это то, с чем, по-видимому, сходится большинство людей; это то, что преподается студентам.
я есть список L, иx in L оценивается как True, если x является членом L. Что я могу использовать вместо L дляx in smth будет оценивать True независимо от значения х?
Итак, мне нужно что-то, что содержит все объекты, включая себя, потому что x также может быть этим «чем-то».