Robinson's joint consistency theorem
ರಾಬಿನ್ಸನ್ ಅವರ ಜಂಟಿ ಸ್ಥಿರತೆಯ ಪ್ರಮೇಯವು ಗಣಿತದ ತರ್ಕಶಾಸ್ತ್ರದ ಪ್ರಮುಖ ಪ್ರಮೇಯವಾಗಿದೆ. ಇದು ಕ್ರೇಗ್ ಅಂತರ್ವೇಶನ ಮತ್ತು ಬೆತ್ ವ್ಯಾಖ್ಯಾನಕ್ಕೆ ಸಂಬಂಧಿಸಿದೆ. ರಾಬಿನ್ಸನ್ ಅವರ ಜಂಟಿ ಸ್ಥಿರತೆಯ ಪ್ರಮೇಯದ ಶಾಸ್ತ್ರೀಯ ಸೂತ್ರೀಕರಣವು ಈ ಕೆಳಗಿನಂತಿರುತ್ತದೆಃ ಮೊದಲ-ಕ್ರಮಾಂಕದ ಸಿದ್ಧಾಂತಗಳಾಗಿರಲಿ. ಒಂದುವೇಳೆ ಮತ್ತು ಸ್ಥಿರವಾಗಿದ್ದರೆ ಮತ್ತು ಛೇದನವು ಪೂರ್ಣವಾಗಿದ್ದರೆ (ಮತ್ತು ನ ಸಾಮಾನ್ಯ ಭಾಷೆಯಲ್ಲಿ), ಆಗ ಸಂಯೋಗವು ಸ್ಥಿರವಾಗಿರುತ್ತದೆ. ಒಂದು ಸಿದ್ಧಾಂತವು ಪ್ರತಿ ಸೂತ್ರವನ್ನು ನಿರ್ಧರಿಸಿದರೆ ಅದನ್ನು ಸಂಪೂರ್ಣ ಎಂದು ಕರೆಯಲಾಗುತ್ತದೆ, ಅಂದರೆ ಪ್ರತಿ ವಾಕ್ಯಕ್ಕೂ ಸಿದ್ಧಾಂತವು ವಾಕ್ಯ ಅಥವಾ ಅದರ ನಿರಾಕರಣೆಯನ್ನು ಹೊಂದಿರುತ್ತದೆ ಆದರೆ ಎರಡನ್ನೂ ಹೊಂದಿರುವುದಿಲ್ಲ (ಅಂದರೆ, ಎರಡೂ ಅಥವಾ). ಸಂಪೂರ್ಣತೆಯ ಊಹೆಯನ್ನು ಪೂರೈಸುವುದು ತುಂಬಾ ಕಷ್ಟವಾದ್ದರಿಂದ, ಪ್ರಮೇಯದ ಒಂದು ರೂಪಾಂತರವಿದೆಃ ಮೊದಲ ಕ್ರಮದ ಸಿದ್ಧಾಂತಗಳಾಗಿರಲಿ. ಮತ್ತು ಸ್ಥಿರವಾಗಿದ್ದರೆ ಮತ್ತು ಸಾಮಾನ್ಯ ಭಾಷೆಯಲ್ಲಿ ಯಾವುದೇ ಸೂತ್ರವಿಲ್ಲದಿದ್ದರೆ ಮತ್ತು ಆಗ ಒಕ್ಕೂಟವು ಸ್ಥಿರವಾಗಿರುತ್ತದೆ. ರೆಫೆರೆನ್ಸ್ ರಾಬಿನ್ಸನ್, ಅಬ್ರಹಾಂ, 'ಸ್ಥಿರತೆಯ ಮೇಲೆ ಫಲಿತಾಂಶ ಮತ್ತು ವ್ಯಾಖ್ಯಾನದ ಸಿದ್ಧಾಂತಕ್ಕೆ ಅದರ ಅನ್ವಯ', ಪ್ರೊಕ್ ಅನ್ನು ಸಹ ನೋಡಿ. ರಾಯಲ್ ಅಕಾಡೆಮಿ ಆಫ್ ಸೈನ್ಸಸ್, ಆಮ್ಸ್ಟರ್ಡ್ಯಾಮ್, ಸರಣಿ ಎ, ಸಂಪುಟ 59, ಪುಟಗಳು 47-58. ಗಣಿತಶಾಸ್ತ್ರದ ಅಡಿಪಾಯಗಳಲ್ಲಿನ ಗಣಿತದ ತರ್ಕದ ಪ್ರಮೇಯಗಳು