@mouse_math I’m guess it’s because you can’t take the union of a sequence of iterated power sets in Z. So you don’t have as big sets, and can build a model inside ZF
@miniapeur If π is a projection representing an observation and k any observable, then the second one is the correct way to restrict to π being observed.
The first way assumes commutativity
Pikachu is correct to prefer the second!
@Riazi_Cafe_en in this case there’s no solutions mod 32 (unless all even).
as n is even replace by 2n
10n²=18a²+9b²+3c²
b,c can’t both be odd as that gives 2n²=2a²+4 (mod 8). So both even. Replace by 2b,2c
5n²=9a²+18b²+6c²
n,a can’t both be odd otherwise 4= 2(b²-c²) (mod 8)
so a even. QED
@Riazi_Cafe_en It’s a quadratic form so, by Legendre’s theorem it has a nonzero integer solution iff it has one in R and one modulo each prime power pⁿ (and not a multiple of p). So these problems can always be resolved by modulo arithmetic
This European ibuprofen discourse surely isn’t real.
I get regular pressure headaches due to the weather (when it rains the barometric pressure changes cause me headaches)
You guys just…don’t take anything?
You just stop working every time you have a headache?