This article is rated Start-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||||||||||||||||||
|
Archives (Index) |
This page is archived by ClueBot III.
|
If you allow arbitrary predicates in the definition of indiscernibility, then identity of indiscernibles is easily proven. Given and such that , one can instantiate as , and thus we have , which proves that . I feel like Max Black missed something here, but I'm not sure what.
I think it's probably that if you require to have no free variables, this trick doesn't work, but I feel like "identity of things that are in the same orbit of an automorphism" is too obviously false. NoLongerBreathedIn (talk) 01:05, 16 September 2023 (UTC)